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