1. Aleti, A., Bjornander, S., Grunske, L., Meedeniya, I., 2009. Archeopterix: an extendable tool for architecture optimization of AADL models. In: ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009. MOMPES’09. IEEE, pp. 61–71.
2. Safety analysis of an airbag system using probabilistic FMEA and probabilistic counterexamples;Aljazzar,2009
3. Model checking of probabilistic and nondeterministic systems;Bianco,1995
4. Classifier systems and genetic algorithms;Booker;Artificial Intelligence,1989
5. Safety, dependability, and performance analysis of extended AADL models;Bozzano;The Computer Journal,2010