Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains.

John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock

Browse the full ICSE paper archive.