Matthias Kloas;Viktor Friesen;Martin Simons
-;-;-
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
Safe controllers design for industrial automation systems
Computers and Industrial Engineering