Johnsen, E.B.2022-03-022022-03-022018978-3-319-92969-9978-3-319-92970-53-319-92969-0https://publica.fraunhofer.de/handle/publica/163441Software engineering and formal methods. 16th International Conference, SEFM 2018. Proceedings