Towards the Modular Specification and Validation of Cyber-Physical Systems - A Case-Study on Reservoir Modeling with Hybrid Automata. - Andre Metelo; Christiano Braga; Diego N. Brandão (ICCSA (1), 2018)

Towards the Modular Specification and Validation of Cyber-Physical Systems. - Andre Metelo; Christiano Braga; Diego N. Brandão (CoRR, 2018)