Courses
The rCOS Method for Component-Based and Model Driven Development
Software Development with UML
Relational Methods of Program Construction and Analysis
Real-Time Systems: Specification, Verification, Refinement and Schedulability
Programming Concurrent Computer Systems