@article(Aalst+2011,
 author       = "Wil M. P. van der Aalst and Kees M. van Hee and Arthur H. M. ter Hofstede and Natalia Sidorova and H. M. W. Verbeek and Marc Voorhoeve and Moe Thandar Wynn",
 year         = "2011",
 title        = "Soundness of workflow nets: classification, decidability, and analysis",
 journal      = "Formal Asp. Comput.",
 volume       = "23",
 number       = "3",
 pages        = "333--363",
 doi          = "10.1007/s00165-010-0161-4",
)
@article(Aalst+2005,
 author       = "Wil M. P. van der Aalst and Arthur H. M. ter Hofstede",
 year         = "2005",
 title        = "YAWL: yet another workflow language",
 journal      = "Inf. Syst.",
 volume       = "30",
 number       = "4",
 pages        = "245--275",
 doi          = "10.1016/j.is.2004.02.002",
)
@article(Aalst+2003,
 author       = "W.M.P. van der Aalst and A.H.M. ter Hofstede and B. Kiepuszewski and A.P. Barros",
 year         = "2003",
 title        = "Workflow Patterns",
 journal      = "Distributed and Parallel Databases",
 volume       = "14",
 number       = "1",
 pages        = "5--51",
 doi          = "10.1023/A:1022883727209",
)
@book(Clarke+2001bk,
 author       = "Edmund M. Clarke and Orna Grumberg and Doron Peled",
 year         = "2001",
 title        = "Model checking",
 publisher    = "MIT Press",
)
@inproceedings(GiannakopoulouMagee2003,
 author       = "Dimitra Giannakopoulou and Jeff Magee",
 year         = "2003",
 title        = "Fluent model checking for event-based systems",
 booktitle    = "ESEC SIGSOFT FSE",
 pages        = "257--266",
 doi          = "10.1145/940071.940106",
)
@book(Hofstede+2010bk,
 editor       = "Arthur H. M. ter Hofstede and Wil M. P. van der Aalst and Michael Adams and Nick Russell",
 year         = "2010",
 title        = "Modern Business Process Automation - YAWL and its Support Environment",
 publisher    = "Springer",
)
@inproceedings(Karamanolis+2000,
 author       = "Christos T. Karamanolis and Dimitra Giannakopoulou and Jeff Magee and Stuart M. Wheater",
 year         = "2000",
 title        = "Model Checking of Workflow Schemas",
 booktitle    = "EDOC",
 pages        = "170--181",
 doi          = "10.1109/EDOC.2000.882357",
)
@book(MageeKramer2006bk,
 author       = "Jeff Magee and Jeff Kramer",
 year         = "2006",
 title        = "Concurrency - state models and Java programs (2. ed.)",
 publisher    = "Wiley",
)
@article(MillerShanahan1999,
 author       = "Rob Miller and Murray Shanahan",
 year         = "1999",
 title        = "The Event Calculus in Classical Logic - Alternative Axiomatisations",
 journal      = "Electron. Trans. Artif. Intell.",
 volume       = "3",
 number       = "A",
 pages        = "77--105",
)
@article(Pesic+2010,
 author       = "Marco Montali and Maja Pesic and Wil M. P. van der Aalst and Federico Chesani and Paola Mello and Sergio Storari",
 year         = "2010",
 title        = "Declarative specification and verification of service choreographiess",
 journal      = "TWEB",
 volume       = "4",
 number       = "1",
 doi          = "10.1145/1658373.1658376",
)
@inproceedings(Regis+2012,
 author       = "Germ{\'a}n Regis and Nicol{\'a}s Ricci and Nazareno Aguirre and T. S. E. Maibaum",
 year         = "2012",
 title        = "Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows",
 booktitle    = "Brazilian Symposium on Formal Methods, SBMF 2012",
 pages        = "147--162",
 doi          = "10.1007/978-3-642-33296-8\_12",
)
@article(WongGibbons2011,
 author       = "Peter Y. H. Wong and Jeremy Gibbons",
 year         = "2011",
 title        = "Formalisations and applications of BPMN",
 journal      = "Sci. Comput. Program.",
 volume       = "76",
 number       = "8",
 pages        = "633--650",
 doi          = "10.1016/j.scico.2009.09.010",
)