@inproceedings(Afsarmanesh-2005,
 author       = "H. Afsarmanesh and L.M. Camarinha-Matos",
 year         = "2005",
 title        = "A framework for management of virtual organizations breeding environments",
 booktitle    = "Collaborative Networks and their Breeding Environments -- Proceedings of 6th PRO-VE'05",
 publisher    = "Springer",
 pages        = "35--48",
)
@inproceedings(FAVO09,
 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",
 editor       = "Bryans and Fitzgerald",
 pages        = "26--40",
 doi          = "10.4204/EPTCS.16.3",
)
@article(FACS,
 author       = "Laura Bocchi and Stephen Gorton and Stephan Reiff-Marganiec",
 year         = "2010",
 title        = "From StPowla processes to SRML models",
 journal      = "Form. Asp. Comput.",
 volume       = "22",
 pages        = "243--268",
 doi          = "10.1007/s00165-009-0118-7",
)
@incollection(prove11bryans,
 author       = "Jeremy Bryans and John Fitzgerald and Tom McCutcheon",
 year         = "2011",
 title        = "Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations",
 editor       = "Luis Camarinha-Matos and Alexandra Pereira-Klen and Hamideh Afsarmanesh",
 booktitle    = "Adaptation and Value Creating Collaborative Networks",
 series       = "IFIP Advances in Information and Communication Technology",
 volume       = "362",
 publisher    = "Springer Boston",
 pages        = "314--321",
 doi          = "10.1007/978-3-642-23330-2\_35",
)
@proceedings(DBLP:journals/corr/abs-1001-5310,
 editor       = "Jeremy Bryans and John S. Fitzgerald",
 year         = "2009",
 title        = "Proceedings Second Workshop on Formal Aspects of Virtual Organisations",
 series       = "EPTCS",
 volume       = "16",
 doi          = "10.4204/EPTCS.16",
)
@techreport(Bryans06formalmodelling,
 author       = "Jeremy W. 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",
 institution  = "Newcastle University",
)
@book(Camarinha-Matos-2005,
 editor       = "L.M. Camarinha-Matos and H. Afsarmanesh and A. Ortiz",
 year         = "2005",
 title        = "Collaborative networks and their breeding environments",
 series       = "IFIP Vol. 186",
 publisher    = "Springer",
)
@article(Fitzgerald-2008,
 author       = "John S Fitzgerald and Jeremy W Bryans and David Greathead and Clifff B Jones and Richard Payne",
 year         = "2008",
 title        = "Animation-based Validation of a Formal Model of Dynamic Virtual Organisations",
 url          = "www.bcs.org/upload/pdf/ewic_fm07_paper3.pdf",
)
@inproceedings(wesoa07,
 author       = "S. Gorton and C. Montangero and S. Reiff-Marganiec and L. Semini",
 year         = "2007",
 title        = "{{\textsc {StPowla}}: SOA, Policies and Workflows}",
 booktitle    = "Revised Selected Papers of Workshops, ICSOC'07",
 series       = "LNCS",
 volume       = "4907",
 publisher    = "Springer",
 pages        = "351--362",
)
@article(Kamoun07,
 author       = "F. Kamoun",
 year         = "2007",
 title        = "A roadmap towards the convergence of business process management and service oriented architecture",
 journal      = "Ubiquity",
 volume       = "8",
 number       = "14",
 doi          = "10.1145/1247272.1247273",
 note         = "ACM Press",
)
@inproceedings(Karastoyanova:2009:BAS:1586636.1586901,
 author       = "Dimka Karastoyanova and Frank Leymann",
 year         = "2009",
 title        = "BPEL'n'Aspects: Adapting Service Orchestration Logic",
 booktitle    = "Proceedings of the 2009 IEEE International Conference on Web Services",
 series       = "ICWS '09",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "222--229",
 doi          = "10.1109/ICWS.2009.75",
)
@article(Lupu-Sloman-1999,
 author       = "E. Lupu and M. Sloman",
 year         = "1999",
 title        = "Conflicts in Policy Based Distributed Systems Management",
 journal      = "{IEEE} Transactions on Software Engineering",
 volume       = "25",
 number       = "6",
)
@inproceedings(FAVO-agents,
 author       = "Jarred McGinnis and Kostas Stathis and Francesca Toni",
 year         = "2009",
 title        = "A Formal Framework of Virtual Organisations as Agent Societies",
 editor       = "Bryans and Fitzgerald",
 pages        = "1--14",
 doi          = "10.4204/EPTCS.16.1",
)
@article(FUNDAMENTAE,
 author       = "Carlo Montangero and Stephan Reiff-Marganiec and Laura Semini",
 year         = "2008",
 title        = "Logic-based Conflict Detection for Distributed Policies",
 journal      = "Fundam. Inf.",
 volume       = "89",
 pages        = "511--538",
 url          = "http://dl.acm.org/citation.cfm?id=1497115.1497122",
)
@incollection(SensoriaBook,
 author       = "Carlo Montangero and Stephan Reiff-Marganiec and Laura Semini",
 year         = "2011",
 title        = "Model-Driven Development of Adaptable Service-Oriented Business Processes",
 editor       = "Martin Wirsing and Matthias H\"olzl",
 booktitle    = "Rigorous Software Engineering for Service-Oriented Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "6582",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "115--132",
 doi          = "10.1007/978-3-642-20401-2\_6",
)
@manual(BPMN,
 organization = "OMG",
 year         = "2006",
 title        = "Business Process Modeling Notation (BPMN) Specification",
)
@incollection(PROVE11,
 author       = "Stephan Reiff-Marganiec and Noor Rajper",
 year         = "2011",
 title        = "Modelling Virtual Organisations: Structure and Reconfigurations",
 editor       = "Luis Camarinha-Matos and Alexandra Pereira-Klen and Hamideh Afsarmanesh",
 booktitle    = "Adaptation and Value Creating Collaborative Networks",
 series       = "IFIP Advances in Information and Communication Technology",
 volume       = "362",
 publisher    = "Springer Boston",
 pages        = "297--305",
 doi          = "10.1007/978-3-642-23330-2\_33",
)
@article(Turner-Reiff-etal-2006,
 author       = "K. J. Turner and S. Reiff-Marganiec and L. Blair and J. Pang and T. Gray and P. Perry and J. Ireland",
 year         = "2006",
 title        = "Policy Support for Call Control",
 journal      = "Computer Standards and Interfaces",
 volume       = "28",
 number       = "6",
 pages        = "635--649",
)