@inproceedings(BrambillaDSV05,
 doi          = "10.1007/11531371\_70",
)
@article(CampbellC+2002,
 doi          = "10.1007/s007660200020",
)
@inproceedings(CimattiC+1999,
 doi          = "10.1007/3-540-48683-6\_44",
)
@inproceedings(ClarkeM+1996,
 doi          = "10.1007/3-540-61474-5\_93",
)
@inproceedings(CzarneckiPietroszek2006,
 doi          = "10.1145/1173706.1173738",
)
@article(Egyed2002,
 doi          = "10.1145/606612.606616",
)
@incollection(EngelsG+2008,
 doi          = "10.1007/978-3-540-89020-1\_2",
)
@inproceedings(EngelsK+2001,
 doi          = "10.1145/503209.503235",
)
@article(Eshuis2006,
 doi          = "10.1145/1125808.1125809",
)
@article(FinkelsteinG+1994,
 doi          = "10.1109/32.310667",
)
@inproceedings(GraafVanDeursen2007,
 doi          = "10.1109/MOMPES.2007.12",
)
@misc(BPMN,
)
@misc(UML,
)
@inproceedings(KoehlerT+2002,
 doi          = "10.1109/EDOC.2002.1137700",
)
@inproceedings(LatvalaB+2004,
 doi          = "10.1007/978-3-540-30494-4\_14",
)
@article(LucasM+2009,
 doi          = "10.1016/j.infsof.2009.04.009",
)
@inproceedings(Manna:1991,
 doi          = "10.1007/BFb0035782",
)
@article(Murata1989,
 doi          = "10.1109/5.24143",
)
@misc(BPEL,
)
@inproceedings(Pnueli:1977,
 doi          = "10.1109/SFCS.1977.32",
)
@inproceedings(Scheer:2000,
 doi          = "10.1007/3-540-45594-9\_24",
)
@inproceedings(StraetenM+2003,
 doi          = "10.1007/978-3-540-45221-8\_28",
)
@inproceedings(TsiolakisEhrig2000,
)