Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines.

Stefan Björnander Lars Grunske Kristina Lundqvist Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines. 101-115 2009 QoSA http://dx.doi.org/10.1007/978-3-642-02351-4_7 conf/qosa/2009 db/conf/qosa/qosa2009.html#BjornanderGL09