Babiceanu, R.2022-03-022022-03-022016978-1-4673-9912-8https://publica.fraunhofer.de/handle/publica/159645IEEE 17th International Symposium on High Assurance Systems Engineering, HASE 2016. Proceedings