Pierre Bomel, Dominique Blouin, Mickael Lanoe, Eric Senn. Functional validation of AADL models via model transformation to SystemC with ATL. 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 13-18, ACM, 2012. [doi]
Abstract is missing.