A theory of timed automata, Theoretical Computer Science, vol.126, issue.1, p.183235, 1994. ,
,
Towards the verication of real-time systems in avionics: The Cotre approach, Eigth International workshop for industrial critical systems, pp.5-7, 2003. ,
Towards formalizing AADL in proof assistants ,
, Formal Foundations of Embedded software and componentbased softare architectures (ETAPS), pp.2-10, 2005.
HRT-HOOD a structured design method for hard real-time Ada Systems, 1995. ,
Automatic verication of nite state concurrent system using temporal logic, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, 1986. ,
AADL model transformation, DA-SIA, 2005. ,
Cotre as an AADL prole, Architecture Description Languages, p.167180, 2004. ,
The SAE architecture analysis & design language (AADL) standard: A basis for model-based architecturedriven embedded systems engineering, RTAS Workshop, p.110, 2003. ,
, MetaH User's Manual
, Honewell Technology Drive, 1998.