2022-03-022022-03-022004https://publica.fraunhofer.de/handle/publica/142031FDL 2004, Forum on Specification & Design Languages. Proceedings. Vol.1