@inproceedings(BabSarrouh11,
 author       = "Sebastian Bab and Nadim Sarrouh",
 year         = "2011",
 title        = "Formale Modellierung von Access-Control-Policies in Dynamischen Koalitionen",
 booktitle    = "GI Proceedings, Informatik 2011 - Informatik schafft Communities",
 pages        = "402",
)
@inproceedings(Bocchi09,
 author       = "Laura Bocchi and Jos{\'e} Luiz Fiadeiro and Noor Rajper and Stephan Reiff-Marganiec",
 year         = "2009",
 title        = "Structure and Behaviour of Virtual Organisation Breeding Environments",
 booktitle    = "FAVO",
 pages        = "26--40",
 url          = "http://dx.doi.org/10.4204/EPTCS.16.3",
)
@book(Boe03,
 author       = "Egon B\"orger and Robert St\"ark",
 year         = "2003",
 title        = "Abstract State Machines: A Method for High-Level System Design and Analysis",
 publisher    = "Springer Verlag",
)
@techreport(Bryans08,
 author       = "J. W. Bryans and J. S. Fitzgerald and D. Greathead and C. B. Jones and R. J. Payne",
 year         = "2008",
 title        = "A Dynamic Coalitions Workbench: Final Report",
 type         = "Technical Report",
 institution  = "Newcastle University",
)
@techreport(Bryans0601,
 author       = "J. W. Bryans and J. S. Fitzgerald and C. B. Jones and I. Mozolevsky and Jeremy W. Bryans and John S. Fitzgerald and Cliff B. Jones and Igor Mozolevsky",
 year         = "2006",
 title        = "Dimensions of dynamic coalitions",
 type         = "Technical Report",
)
@techreport(Bryans0601a,
 author       = "J. W. Bryans and J. S. Fitzgerald and P. Periorellis",
 year         = "2006",
 title        = "Model Based Analysis and Validation of Access Control Polcies",
 type         = "Technical Report",
 institution  = "Newcastle University, School of Computing Science",
)
@incollection(Bryans07,
 author       = "Jeremy Bryans and John Fitzgerald",
 year         = "2007",
 title        = "Formal Engineering of XACML Access Control Policies in VDM++",
 editor       = "Michael Butler and Michael Hinchey and Mar{\'\i }a Larrondo-Petrie",
 booktitle    = "Formal Methods and Software Engineering",
 series       = "Lecture Notes in Computer Science",
 volume       = "4789",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "37--56",
 url          = "http://dx.doi.org/10.1007/978-3-540-76650-6_4",
)
@techreport(Bryans06,
 author       = "Jeremy Bryans and John S. Fitzgerald and Cliff B. Jones and Igor Mozolevsky",
 year         = "2006",
 title        = "Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering",
 type         = "Technical Report",
 url          = "http://dx.doi.org/10.1109/ISoLA.2006.21",
)
@book(Fitzgerald2005,
 author       = "John Fitzgerald and Peter Gorm Larsen and Paul Mukherjee and Nico Plat and Marcel Verhoef",
 year         = "2005",
 title        = "Validated Designs For Object-oriented Systems",
 publisher    = "Springer-Verlag TELOS",
 address      = "Santa Clara, CA, USA",
)
@inproceedings(Fitzgerald06,
 author       = "John S. Fitzgerald and Peter Gorm Larsen",
 year         = "2006",
 title        = "Triumphs and Challenges for Model-Oriented Formal Methods: The VDM$^{\unhbox \voidb@x \hbox {++}}$ Experience (Abstract)",
 booktitle    = "ISoLA",
 pages        = "1--4",
 url          = "http://dx.doi.org/10.1109/ISoLA.2006.33",
)
@book(FitzgeraldLarsen2009,
 author       = "John S. Fitzgerald and Peter Gorm Larsen",
 year         = "2009",
 title        = "Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.)",
 publisher    = "Cambridge University Press",
)
@proceedings(Gure00,
 editor       = "Yuri Gurevich and Philipp W. Kutter and Martin Odersky and Lothar Thiele",
 year         = "2000",
 title        = "Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verit{\`a}, Switzerland, March 19-24, 2000, Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "1912",
 publisher    = "Springer",
)
@inproceedings(Haidar09,
 author       = "Ali Nasrat Haidar and P. V. Coveney and Ali E. Abdallah and Peter Y. A. Ryan and B. Beckles and J. M. Brooke and M. A. S. Jones",
 year         = "2009",
 title        = "Formal Modelling of a Usable Identity Management Solution for Virtual Organisations",
 booktitle    = "FAVO",
 pages        = "41--50",
 url          = "http://dx.doi.org/10.4204/EPTCS.16.4",
)
@inproceedings(Klueber98,
 author       = "R. Klueber",
 year         = "1998",
 title        = "A framework for virtual Organizing",
 booktitle    = "VoNet Workshop",
)
@article(Koshutanski10,
 author       = "Hristo Koshutanski and Antonio Ma{\~n}a",
 year         = "2010",
 title        = "Interoperable semantic access control for highly dynamic coalitions",
 journal      = "Security and Communication Networks",
 volume       = "3",
 number       = "6",
 pages        = "565--594",
 url          = "http://dx.doi.org/10.1002/sec.148",
)
@article(Larsen96,
 author       = "Peter Gorm Larsen and John Fitzgerald and Tom Brookes",
 year         = "1996",
 title        = "Applying Formal Specification in Industry",
 journal      = "IEEE Softw.",
 volume       = "13",
 pages        = "48--56",
 url          = "http://doi.ieeecomputersociety.org/10.1109/52.493020",
)
@article(Lethbridge01,
 author       = "Nick Lethbridge",
 year         = "2001",
 title        = "An I-Based Taxonomy of Virtual Organisations and the Implications for Effective Management",
 journal      = "Informing Science",
 volume       = "4 No 1",
)
@inproceedings(McGinnis09,
 author       = "Jarred McGinnis and Kostas Stathis and Francesca Toni",
 year         = "2009",
 title        = "A Formal Framework of Virtual Organisations as Agent Societies",
 booktitle    = "FAVO",
 pages        = "1--14",
 url          = "http://dx.doi.org/10.4204/EPTCS.16.1",
)
@book(reisig10,
 author       = "Wolfgang Reisig",
 year         = "{2010}",
 title        = "{Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien}",
 series       = "{Leitf{\"a}den der Informatik}",
 publisher    = "{Vieweg+Teubner}",
 note         = "{248 pages; ISBN 978-3-8348-1290-2}",
)