Cite
APA Citation
Tundis, A., & Mühlhäuser, M. (2019). properties modelling as design by contract for cyber-physical systems: an example in the smart grid domain. International journal of simulation and process modelling, 14, 120–136. http://access.bl.uk/ark:/81055/vdc_100083328442.0x00000f