@inproceedings{inproceedings, title = {{Conformance-based doping detection for cyber-physical systems}}, publisher = {{Springer International Publishing}}, url = {{http://eprints.whiterose.ac.uk/162067/ }}, year = {{2020}}, month = {{6}}, author = {{Dimitrova R and Gazda M and Mousavi MR and Biewer S and Hermanns H}}, doi = {{10.1007/978-3-030-50086-3_4}}, isbn = {{9783030500856}}, journal = {{Formal Techniques for Distributed Objects, Components, and Systems}}, pages = {{59-77}}, note = {{Accessed on 2024/09/19}}}