Introduction to Computer System Engineering
Dynamic Systems for Computer Science Students
Model-based Analysis of Simulink Models