Cite
MLA Citation
Andrea Tundis and Max Mühlhäuser. “Properties modelling as design by contract for cyber-physical systems: an example in the smart grid domain.” International journal of simulation and process modelling, vol. 14, 2019, pp. 120–136. http://access.bl.uk/ark:/81055/vdc_100083328442.0x00000f