Verification of Computer-Based Software with Model Checking - Ákos Dávid (2013)