Morawiec, Adam2022-03-022022-03-022013978-2-9530504-8-6978-2-9530504-7-9https://publica.fraunhofer.de/handle/publica/15625316th Forum on Specification & Design Languages, FDL 2013. Proceedings