@article(DBLP:journals/mscs/AntonikHLNW10,
 author       = "Adam Antonik and Michael Huth and Kim G. Larsen and Ulrik Nyman and Andrzej Wasowski",
 year         = "2010",
 title        = "Modal and mixed specifications: key decision problems and their complexities",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "20",
 number       = "1",
 pages        = "75--103",
 doi          = "10.1017/S0960129509990260",
)
@article(antonik.ea:2008:beatcs,
 author       = "Adam Antonik and Michael Huth and Kim G. Larsen and Ulrik Nyman and Andrzej W\k {a}sowski",
 year         = "2008",
 title        = "20 Years of Modal and Mixed Specifications",
 journal      = "Bulletin of EATCS",
 volume       = "95",
 note         = "Available at \url {http://processalgebra.blogspot.com/2008/05/concurrency-column-for-beatcs-june-2008.html}",
)
@phdthesis(dams96,
 author       = "Dennis Dams",
 year         = "1996",
 title        = "Abstract Interpretation and Partition Refinement for Model Checking",
 school       = "Eindhoven University of Technology",
)
@inproceedings(Dwyer99patternsin,
 author       = "Matthew B. Dwyer and George S. Avrunin and James C. Corbett",
 year         = "1999",
 title        = "Patterns in property specifications for finite-state verification",
 booktitle    = "Proceedings of the 21st international conference on Software engineering",
 series       = "ICSE '99",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "411--420",
 doi          = "10.1145/302405.302672",
)
@inproceedings(places2010,
 author       = "Thomas T. Hildebrandt and Raghava Rao Mukkamala",
 year         = "2010",
 title        = "Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs",
 editor       = "Kohei Honda and Alan Mycroft",
 booktitle    = "PLACES",
 series       = "EPTCS",
 volume       = "69",
 pages        = "59--73",
 doi          = "10.4204/EPTCS.69.5",
)
@inproceedings(sefm:2011,
 author       = "Thomas T. Hildebrandt and Raghava Rao Mukkamala and Tijs Slaats",
 year         = "2011",
 title        = "Safe Distribution of Declarative Processes",
 booktitle    = "SEFM",
 pages        = "237--252",
 doi          = "10.1007/978-3-642-24690-6\_17",
)
@inproceedings(DBLP:conf/lics/LarsenT88,
 author       = "Kim Guldstrand Larsen and Bent Thomsen",
 year         = "1988",
 title        = "A Modal Process Logic",
 booktitle    = "LICS",
 organization = "IEEE Computer Society",
 publisher    = "IEEE Computer Society",
 pages        = "203--210",
 doi          = "10.1109/LICS.1988.5119",
)