@article(Arnold:00,
 author       = "Andr{\'e} Arnold and G{\'e}rald Point and Alain Griffault and Antoine Rauzy",
 year         = "1999",
 title        = "The AltaRica Formalism for Describing Concurrent Systems",
 journal      = "Fundamenta Informaticae",
 volume       = "40",
 number       = "2,3",
 pages        = "109--124",
 doi          = "10.3233/FI-1999-402302",
 url          = "http://iospress.metapress.com/content/W2506433232111V5",
)
@inproceedings(Brunel:14,
 author       = "Julien Brunel and David Chemouil and Nicolas M\IeC {\'e}l\IeC {\'e}do and Vincent Ibanez",
 year         = "2014",
 title        = "Formal Modelling and Safety Analysis of an Avionic Functional Architecture with Alloy",
 booktitle    = "Embedded Real Time Software and Systems (ERTSS 2014)",
 address      = "Toulouse, France",
)
@book(Jackson:06,
 author       = "Daniel Jackson",
 year         = "2006",
 title        = "Software Abstractions: Logic, Language, and Analysis",
 publisher    = "The MIT Press",
)
@incollection(Lin:10,
 author       = "Amerson Lin and Mike Bond and Jolyon Clulow",
 year         = "2010",
 title        = "Modeling Partial Attacks with Alloy",
 editor       = "Bruce Christianson and Bruno Crispo and JamesA. Malcolm and Michael Roe",
 booktitle    = "Security Protocols",
 series       = "Lecture Notes in Computer Science",
 volume       = "5964",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "20--33",
 url          = "http://dx.doi.org/10.1007/978-3-642-17773-6_4",
)
@incollection(Reynold:10,
 author       = "MarkC. Reynolds",
 year         = "2010",
 title        = "Lightweight Modeling of Java Virtual Machine Security Constraints",
 editor       = "Marc Frappier and Uwe Gl\IeC {\"a}sser and Sarfraz Khurshid and R\IeC {\'e}gine Laleau and Steve Reeves",
 booktitle    = "Abstract State Machines, Alloy, B and Z",
 series       = "Lecture Notes in Computer Science",
 volume       = "5977",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "146--159",
 url          = "http://dx.doi.org/10.1007/978-3-642-11811-1_12",
)
@article(Toahchoodee:09,
 author       = "M.~Toahchoodee and I.~Ray",
 year         = "2009",
 title        = "Using alloy to analyse a spatio-temporal access control model supporting delegation",
 journal      = "Information Security, IET",
 volume       = "3",
 number       = "3",
 pages        = "75--113",
 doi          = "10.1049/iet-ifs.2008.0074",
)