A Calculus of Cyber-Physical Systems.

Ruggero Lanotte, Massimo Merro

Browse the full LATA paper archive.