@misc(bpmn,
 year         = "2008",
 title        = "Business Process Modeling Notation, v1.1",
 note         = "\url {http://www.bpmn.org/Documents/BPMN\_1-1\_Specification.pdf} (Last accessed: 2010-02-17)",
)
@article(ACM+07paws,
 author       = "Danilo Ardagna and Marco Comuzzi and Enrico Mussi and Barbara Pernici and Pierluigi Plebani",
 year         = "2007",
 title        = "PAWS: A Framework for Executing Adaptive Web-Service Processes",
 journal      = "IEEE Software",
 volume       = "24",
 pages        = "39--46",
 doi          = "10.1109/MS.2007.174",
)
@misc(bpel2,
 author       = "A. Arkin and S. Askary and B. Bloch and F. Curbera and Y. Goland and N. Kartha and C. K. Liu and S. Thatte and P. Yendluri and A. Yiu",
 year         = "2007",
 title        = "Web Services Business Process Execution Language Version 2.0",
 note         = "OASIS Standard. Available at: http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf (Last accessed: 2010-02-17)",
)
@article(BG11selfsuper,
 author       = "L. Baresi and S. Guinea",
 year         = "2011",
 title        = "Self-Supervising BPEL Processes",
 journal      = "Software Engineering, IEEE Transactions on",
 volume       = "37",
 number       = "2",
 pages        = "247 --263",
 doi          = "10.1109/TSE.2010.37",
)
@inproceedings(soa/challenges/BMM05,
 author       = "Roberto Bruni and Hern\'{a}n Melgratti and Ugo Montanari",
 year         = "2005",
 title        = "Theoretical foundations for compensations in flow composition languages",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "209--220",
 doi          = "10.1145/1040305.1040323",
)
@inproceedings(StAC04BF,
 author       = "Michael J. Butler and Carla Ferreira",
 year         = "2004",
 title        = "An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions",
 booktitle    = "COORDINATION",
 series       = "LNCS",
 volume       = "2949",
 publisher    = "Springer",
 pages        = "87--104",
 doi          = "10.1007/978-3-540-24634-3\_9",
)
@inproceedings(DBLP:conf/birthday/ButlerHF04,
 author       = "Michael J. Butler and C. A. R. Hoare and Carla Ferreira",
 year         = "2004",
 title        = "A Trace Semantics for Long-Running Transactions",
 booktitle    = "25 Years Communicating Sequential Processes",
 series       = "LNCS",
 publisher    = "Springer",
 pages        = "133--150",
 doi          = "10.1007/11423348\_8",
)
@article(CM07ao4bpel,
 author       = "Anis Charfi and Mira Mezini",
 year         = "2007",
 title        = "AO4BPEL: An Aspect-oriented Extension to BPEL",
 journal      = "World Wide Web",
 volume       = "10",
 number       = "3",
 pages        = "309--344",
 doi          = "10.1007/s11280-006-0016-3",
)
@article(CGVB+02extending,
 author       = "M. Chessell and C. Griffin and D. Vines and M. Butler and C. Ferreira and P. Henderson",
 year         = "2002",
 title        = "Extending the concept of transaction compensation",
 journal      = "IBM Systems Journal",
 volume       = "41",
 number       = "4",
 pages        = "743--758",
 doi          = "10.1147/sj.414.0743",
)
@article(cp13cas,
 author       = "Christian Colombo and Gordon Pace",
 year         = "2013",
 title        = "Monitor-Oriented Compensation Programming Through Compensating Automata",
 journal      = "ECEASST",
 volume       = "58",
)
@article(survey,
 author       = "Christian Colombo and Gordon Pace",
 year         = "2013",
 title        = "Recovery within Long Running Transactions",
 journal      = "ACM Computing Surveys",
 volume       = "45",
 doi          = "10.1145/2480741.2480745",
)
@article(CPA12async,
 author       = "Christian Colombo and Gordon Pace and Patrick Abela",
 year         = "2012",
 title        = "Safer asynchronous runtime monitoring using compensations",
 journal      = "Formal Methods in System Design",
 volume       = "41",
 number       = "3",
 pages        = "269--294",
 doi          = "10.1007/s10703-012-0142-8",
)
@inproceedings(CGG08FMICS,
 author       = "Christian Colombo and Gordon J. Pace and Gerardo Schneider",
 year         = "2008",
 title        = "Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties",
 booktitle    = "FMICS",
 series       = "LNCS",
 volume       = "5596",
 pages        = "135--149",
 doi          = "10.1007/978-3-642-03240-0\_13",
)
@inproceedings(CPS09larva,
 author       = "Christian Colombo and Gordon J. Pace and Gerardo Schneider",
 year         = "2009",
 title        = "LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)",
 booktitle    = "SEFM",
 publisher    = "IEEE",
 pages        = "33--37",
 doi          = "10.1109/SEFM.2009.13",
)
@inproceedings(CDM06scene,
 author       = "Massimiliano Colombo and Elisabetta Di Nitto and Marco Mauri",
 year         = "2006",
 title        = "SCENE: a service composition execution environment supporting dynamic changes disciplined through rules",
 booktitle    = "ICSOC",
 publisher    = "Springer",
 pages        = "191--202",
 doi          = "10.1007/11948148\_16",
)
@inproceedings(DAVI72,
 author       = "Charles T. Davies, Jr.",
 year         = "1973",
 title        = "Recovery semantics for a {DB/DC} system",
 booktitle    = "ACM annual conference",
 publisher    = "ACM",
 pages        = "136--141",
 doi          = "10.1145/800192.805694",
)
@inproceedings(ES08fct,
 author       = "Christian Eisentraut and David Spieler",
 year         = "2008",
 title        = "Fault, Compensation and Termination in {WS-BPEL} 2.0 - A Comparative Analysis",
 booktitle    = "WS-FM",
 series       = "LNCS",
 volume       = "5387",
 publisher    = "Springer",
 pages        = "107--126",
 doi          = "10.1007/978-3-642-01364-5\_7",
)
@inproceedings(EMT07masc,
 author       = "Abdelkarim Erradi and Piyush Maheshwari and Vladimir Tosic",
 year         = "2007",
 title        = "WS-Policy based Monitoring of Composite Web Services",
 booktitle    = "ECOWS",
 publisher    = "IEEE",
 pages        = "99--108",
 doi          = "10.1109/ECOWS.2007.31",
)
@inproceedings(FR05asm,
 author       = "Dirk Fahland and Wolfgang Reisig",
 year         = "2005",
 title        = "{ASM}-based Semantics for {BPEL}: The Negative Control Flow",
 booktitle    = "ASM",
 pages        = "131--152",
)
@inproceedings(GFJK03notenough,
 author       = "Paul Greenfield and Alan Fekete and Julian Jang and Dean Kuo",
 year         = "2003",
 title        = "Compensation is Not Enough",
 booktitle    = "EDOC",
 publisher    = "IEEE",
 pages        = "232--239",
 doi          = "10.1109/EDOC.2003.1233852",
)
@inproceedings(GLG+06sock,
 author       = "Claudio Guidi and Roberto Lucchi and Roberto Gorrieri and Nadia Busi and Gianluigi Zavattaro",
 year         = "2006",
 title        = "{SOCK}: A Calculus for Service Oriented Computing",
 booktitle    = "ICSOC",
 series       = "LNCS",
 volume       = "4294",
 publisher    = "Springer",
 pages        = "327--338",
 doi          = "10.1007/11948148\_27",
)
@incollection(GKM+11,
 author       = "Sam Guinea and Gabor Kecskemeti and Annapaola Marconi and Branimir Wetzstein",
 year         = "2011",
 title        = "Multi-layered Monitoring and Adaptation",
 booktitle    = "Service-Oriented Computing",
 series       = "LNCS",
 volume       = "7084",
 publisher    = "Springer",
 pages        = "359--373",
 doi          = "10.1007/978-3-642-25535-9\_24",
)
@inproceedings(HZWL08petri,
 author       = "Yanxiang He and Liang Zhao and Zhao Wu and Fei Li",
 year         = "2008",
 title        = "Formal Modeling of Transaction Behavior in {WS-BPEL}",
 booktitle    = "CSSE",
 publisher    = "IEEE",
 pages        = "490--494",
 doi          = "10.1109/CSSE.2008.873",
)
@inproceedings(LPT08blite,
 author       = "Alessandro Lapadula and Rosario Pugliese and Francesco Tiezzi",
 year         = "2008",
 title        = "A Formal Account of {WS-BPEL}",
 booktitle    = "COORDINATION",
 series       = "LNCS",
 volume       = "5052",
 publisher    = "Springer",
 pages        = "199--215",
 doi          = "10.1007/978-3-540-68265-3\_13",
)
@article(MJG+11mop,
 author       = "Patrick O'Neil Meredith and Dongyun Jin and Dennis Griffith and Feng Chen and Grigore Ro\c {s}u",
 year         = "2012",
 title        = "An Overview of the {MOP} Runtime Verification Framework",
 journal      = "Journal on Software Tools for Technology Transfer",
 volume       = "14",
 number       = "3",
 doi          = "10.1007/s10009-011-0198-6",
)
@inproceedings(MRD10,
 author       = "Oliver Moser and Florian Rosenberg and Schahram Dustdar",
 year         = "2010",
 title        = "Event driven monitoring for service composition infrastructures",
 booktitle    = "WISE",
 publisher    = "Springer",
 pages        = "38--51",
 doi          = "10.1007/978-3-642-17616-6\_6",
)
@inproceedings(NFG+05sowl,
 author       = "Surya Nepal and Alan Fekete and Paul Greenfield and Julian Jang and Dean Kuo and Tony Shi",
 year         = "2005",
 title        = "A service-oriented workflow language for robust interacting applications",
 booktitle    = "On the Move to Meaningful Internet Systems - Part I",
 publisher    = "Springer",
 pages        = "40--58",
 doi          = "10.1007/11575771\_6",
)
@article(RICSD78,
 author       = "B. Randell and P. Lee and P. C. Treleaven",
 year         = "1978",
 title        = "Reliability Issues in Computing System Design",
 journal      = "ACM Computing Surveys",
 volume       = "10",
 pages        = "123--165",
 doi          = "10.1145/356725.356729",
)
@inproceedings(SDN07eng,
 author       = "Michael Sch\"{a}fer and Peter Dolog and Wolfgang Nejdl",
 year         = "2007",
 title        = "Engineering compensations in web service environment",
 booktitle    = "ICWE",
 publisher    = "Springer",
 pages        = "32--46",
)
@incollection(NST+07diamond,
 author       = "Nick Amirreza Tahamtan and WS-Diamond team",
 year         = "2007",
 title        = "WS-DIAMOND: Web Services - DIAgnosability, MONitoring and Diagnosis",
 booktitle    = "E. di Nitto, A. Sassen, P.Traverso and A. Zwegers (Eds), At your service, Chapter 9",
 publisher    = "MIT Press",
)