Modelling and verification of cyber-physical system (2010)

by M Pluska, D Sinclair
Venue:in 20th European Meeting on Cybernetics and System Research