Sterritt, R.2022-03-022022-03-022010978-0-7695-4005-4978-1-4244-6537-8https://publica.fraunhofer.de/handle/publica/15034717th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2010. Proceedings