André Pflüger, Wolfgang Golubski, Stefan Queins. Tool-supported model-driven validation process for system architectures. In Iulian Ober, editor, Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012. pages 1-6, ACM, 2012. [doi]