Tommaso Bolognesi & Ed Brinksma (1987):
Introduction to the ISO specification language LOTOS.
Computer Networks and ISDN Systems 14(1),
pp. 25–59,
doi:10.1016/0169-7552(87)90085-7.
Marco Bozzano & Adolfo Villafiorita (2003):
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform.
In: Computer Safety, Reliability, and Security (SAFECOMP 2003),
Lecture Notes in Computer Science 2788.
Springer-Verlag,
pp. 49–62,
doi:10.1007/978-3-540-39878-3_5.
Tushar Deepak Chandra & Sam Toueg (1996):
Unreliable Failure Detectors for Reliable Distributed Systems.
Journal of the ACM 43(2),
pp. 225–267,
doi:10.1145/226643.226647.
Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani & Armando Tacchella (2002):
NuSMV 2: An OpenSource Tool for Symbolic Model Checking.
In: Computer Aided Verification,
Lecture Notes in Computer Science 2404.
Springer-Verlag,
pp. 359–364,
doi:10.1007/3-540-45657-0_29.
Gerard J. Holzmann (1997):
The Model Checker Spin.
IEEE Transactions on Software Engineering 23(5),
pp. 279–295,
doi:10.1109/32.588521.
Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier & John Irwin (1997):
Aspect-Oriented Programming.
In: ECOOP '97 – Object-Oriented Programming,
Lecture Notes in Computer Science 1241.
Springer-Verlag,
pp. 220–242,
doi:10.1007/BFb0053381.
Marjan Sirjani, Ali Movaghar, Amin Shali & Frank S. de Boer (2004):
Modeling and Verification of Reactive Systems using Rebeca.
Fundamenta Informaticae 63(4),
pp. 385–410.
Available at http://iospress.metapress.com/content/wg947keu129prhbd/.
Wilfried Steiner, John Rushby, Maria Sorea & Holger Pfeifer (2004):
Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation.
In: International Conference on Dependable Systems and Networks (DSN '04),
pp. 189–198,
doi:10.1109/DSN.2004.1311889.
Rickard Svenningsson, Jonny Vinter, Henrik Eriksson & Martin Törngren (2010):
MODIFI: A MODel-Implemented Fault Injection Tool.
In: Computer Safety, Reliability, and Security,
Lecture Notes in Computer Science 6351.
Springer-Verlag,
pp. 210–222,
doi:10.1007/978-3-642-15651-9_16.
Takuo Watanabe (2013):
Towards a Compositional Reflective Architecture for Actor-Based Systems.
In: Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2013).
ACM,
pp. 19–24,
doi:10.1145/2541329.2541341.
Kiyoshi Yamada & Takuo Watanabe (2006):
An Aspect-Oriented Approach to Modular Behavioral Specification.
In: Proceedings of 1st Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems (ABMB 2005),
Electronic Notes in Theoretical Computer Science 163(1).
Elsevier,
pp. 45–56,
doi:10.1016/j.entcs.2006.07.002.