Xavier Renault, Fabrice Kordon, Jérôme Hugues. From AADL Architectural Models to Petri Nets: Checking Model Viability. In 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, Japan, 17-20 March 2009. pages 313-320, IEEE Computer Society, 2009. [doi]
Abstract is missing.