@(activiti,
 author       = "{Activiti Team}",
 year         = "2012",
 title        = "{Activiti BPM Platform}",
 note         = "\url {http://www.activiti.org/}",
)
@book(allweyer2009bpmn,
 author       = "T. Allweyer",
 year         = "2009",
 title        = "BPMN 2.0-Business Process Model and Notation",
 publisher    = "Bod",
)
@(apache-ode,
 author       = "{Apache Software Foundation}",
 year         = "2013",
 title        = "{Apache Ode BPEL-Engine Website}",
 url          = "http://ode.apache.org/",
)
@(AristaFlow,
 author       = "{AristaFlow GmbH}",
 year         = "2012",
 title        = "{AristaFlow Website}",
 url          = "http://www.aristaflow.com/",
)
@(seekda,
 author       = "{Christoph Blank, Nathalie Steinmetz, and James Scicluna}",
 year         = "2012",
 title        = "{Enriched Services: A Tool for Semantic Service Annotation. Demo at the 8th Extended Semantic Web Conference (ESWC 2011)}",
 note         = "\url {http://www.eswc2011.org/}",
)
@incollection(springerlink:10.1007/978-3-642-12186-9-50,
 author       = "Peter Dadam and Manfred Reichert and Stefanie Rinderle-Ma and Andreas Lanz and R\IeC {\"u}diger Pryss and Michael Predeschly and Jens Kolb and Linh Thao Ly and Martin Jurisch and Ulrich Kreher and Kevin G\IeC {\"o}ser",
 year         = "2010",
 title        = "{From ADEPT to AristaFlow BPM Suite: A Research Vision Has Become Reality}",
 editor       = "et. al. Rinderle-Ma",
 booktitle    = "Business Process Management Workshops",
 series       = "Lecture Notes in Business Information Processing",
 volume       = "43",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "529--531",
 doi          = "10.1007/978-3-642-12186-9\_50",
)
@inproceedings(DBLP:conf/sew/DoedtS11,
 author       = "Markus Doedt and Bernhard Steffen",
 year         = "2011",
 title        = "Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective",
 editor       = "James L. Rash and Christopher Rouff",
 booktitle    = "SEW",
 publisher    = "IEEE Computer Society",
 pages        = "57--66",
 doi          = "10.1109/SEW.2011.14",
 url          = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6146701",
)
@inproceedings(bpm-service-integration,
 author       = "Markus Doedt and Bernhard Steffen",
 year         = "2012",
 title        = "{An Evaluation of Service Integration Approaches of Business Process Management Systems}",
 booktitle    = "Software Engineering Workshop (SEW), 2012 35th IEEE",
 doi          = "10.1109/SEW.2012.23",
)
@inproceedings(FrMaSt1994,
 author       = "Burkhard Freitag and Tiziana Margaria and Bernhard Steffen",
 year         = "1994",
 title        = "{A} {P}ragmatic {A}pproach to {S}oftware {S}ynthesis",
 booktitle    = "Workshop on Interface Definition Languages",
 pages        = "46--58",
 doi          = "10.1145/185084.185102",
)
@(googlediscovery,
 author       = "{Google}",
 year         = "2013",
 title        = "{Google APIs Discovery Service}",
 note         = "\url {https://developers.google.com/discovery/}",
)
@article(JoeLMSS2012,
 author       = "Sven J\IeC {\"o}rges and Anna-Lena Lamprecht and Tiziana Margaria and Ina Schaefer and Bernhard Steffen",
 year         = "2012",
 title        = "{A} {C}onstraint-based {V}ariability {M}odeling {F}ramework",
 journal      = "STTT",
 volume       = "14",
 number       = "5",
 pages        = "511--530",
 doi          = "10.1007/s10009-012-0254-x",
)
@conference(karusseit2007web,
 author       = "M. Karusseit and T. Margaria",
 year         = "2007",
 title        = "{A Web-Based Runtime-Reconfigurable Role Management Service}",
 booktitle    = "Automated Specification and Verification of Web Systems, 2006. WWV'06. 2nd International Workshop on",
 organization = "IEEE",
 pages        = "53--60",
 doi          = "10.1109/WWV.2006.5",
)
@article(DBLP:journals/entcs/KarusseitM06,
 author       = "Martin Karusseit and Tiziana Margaria",
 year         = "2006",
 title        = "Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "157",
 number       = "2",
 pages        = "101--118",
 doi          = "10.1016/j.entcs.2005.12.049",
)
@phdthesis(Cubczak2013,
 author       = "Christian Kubczak",
 year         = "2013",
 title        = "jETI: ein serviceorientiertes framework zur high level Ausf\IeC {\"u}hrung von Remote-Komponenten",
 type         = "Dissertation",
 school       = "Technische Universit\IeC {\"a}t Dortmund",
 note         = "Submitted",
)
@incollection(swsmiAamics,
 author       = "Christian Kubczak and Tiziana Margaria and Bernhard Steffen and Christian Winkler and Hardi Hungar",
 year         = "2009",
 title        = "An Approach to Discovery with miAamics and jABC",
 editor       = "Charles Petrie and Tiziana Margaria and Holger Lausen and Michal Zaremba",
 booktitle    = "Semantic Web Services Challenge",
 series       = "Semantic Web And Beyond",
 volume       = "8",
 publisher    = "Springer US",
 pages        = "217--234",
 doi          = "10.1007/978-0-387-72496-6\_13",
)
@inproceedings(KuMaWi2007,
 author       = "Christian Kubczak and Tiziana Margaria and Christian Winkler and Bernhard Steffen",
 year         = "2007",
 title        = "{A}n approach to {D}iscovery with mi{A}amics and j{ABC}",
 pages        = "157--160",
 doi          = "10.1109/WI-IATW.2007.26",
)
@incollection(swsWSMOLX,
 author       = "Christian Kubczak and Tomas Vitvar and Christian Winkler and Raluca Zaharia and Maciej Zaremba",
 year         = "2009",
 title        = "Comparison: Discovery on WSMOLX and miAamics/jABC",
 editor       = "Charles Petrie and Tiziana Margaria and Holger Lausen and Michal Zaremba",
 booktitle    = "Semantic Web Services Challenge",
 series       = "Semantic Web And Beyond",
 volume       = "8",
 publisher    = "Springer US",
 pages        = "249--263",
 doi          = "10.1007/978-0-387-72496-6\_15",
)
@inproceedings(KueKoeKr2008,
 author       = "Ulrich K\IeC {\"u}ster and Birgitta K\IeC {\"o}nig-Ries and Andreas Krug",
 year         = "2008",
 title        = "{OPOSS}um - {A}n {O}nline {P}ortal to {C}ollect and {S}hare {S}emantic {S}ervice {D}escriptions",
 booktitle    = "Proceedings of the 5th European Semantic Web Converence (ESWC08)",
 doi          = "10.1109/ICSC.2008.9",
)
@incollection(swsDIANE,
 author       = "Ulrich K\IeC {\"u}ster and Birgitta K\IeC {\"o}nig-Ries and Tiziana Margaria and Bernhard Steffen",
 year         = "2009",
 title        = "Comparison: Handling Preferences with DIANE and miAamics",
 editor       = "Charles Petrie and Tiziana Margaria and Holger Lausen and Michal Zaremba",
 booktitle    = "Semantic Web Services Challenge",
 series       = "Semantic Web And Beyond",
 volume       = "8",
 publisher    = "Springer US",
 pages        = "265--271",
 doi          = "10.1007/978-0-387-72496-6\_16",
)
@inproceedings(KueKoe2007,
 author       = "Ulrich K\IeC {\"u}ster and Brigitta K\IeC {\"o}nig-Ries",
 year         = "2007",
 title        = "Semantic Service Discovery with DIANE Service Descriptions",
 booktitle    = "Web Intelligence and Intelligent Agent Technology Workshops, 2007 IEEE/WIC/ACM International Conferences on",
 pages        = "152 --156",
 doi          = "10.1109/WI-IATW.2007.87",
)
@phdthesis(Lampre2012,
 author       = "Anna-Lena Lamprecht",
 year         = "2012",
 title        = "{U}ser-level workflow design. {A} bioinformatics perspective.",
 type         = "Dissertation",
 school       = "Technische Universit\IeC {\"a}t Dortmund",
 note         = "Submitted",
)
@inproceedings(DBLP:conf/fmco/LamprechtMSS11,
 author       = "Anna-Lena Lamprecht and Tiziana Margaria and Ina Schaefer and Bernhard Steffen",
 year         = "2011",
 title        = "Synthesis-Based Variability Control: Correctness by Construction",
 booktitle    = "FMCO",
 pages        = "69--88",
 doi          = "10.1007/978-3-642-35887-6\_4",
)
@inproceedings(LaNaMS2010,
 author       = "Anna-Lena Lamprecht and Stefan Naujokat and Tiziana Margaria and Bernhard Steffen",
 year         = "2010",
 title        = "{S}ynthesis-{B}ased {L}oose {P}rogramming",
 booktitle    = "Proceedings of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC 2010)",
 doi          = "10.1109/QUATIC.2010.53",
)
@inproceedings(LaNaSM2009,
 author       = "Anna-Lena Lamprecht and Stefan Naujokat and Bernhard Steffen and Tiziana Margaria",
 year         = "2009",
 title        = "{S}emantics-{B}ased {C}omposition of {EMBOSS} {S}ervices with {B}io-j{ETI}",
 editor       = "M. Scott Marshall and Albert Burger and Paolo Romano and Adrian Paschke and Andrea Splendiani",
 booktitle    = "Proceedings of the 2nd Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009)",
 volume       = "559",
 publisher    = "CEUR Workshop Proceedings",
 url          = "http://ceur-ws.org/Vol-559",
)
@article(Langmaack73,
 author       = "Hans Langmaack",
 year         = "1973",
 title        = "On Correct Procedure Parameter Transmission in Higher Programming Languages",
 journal      = "Acta Inf.",
 volume       = "2",
 pages        = "110--142",
 doi          = "10.1007/BF00264026",
)
@book(Linden:2007:SPL:1296141,
 author       = "Frank J. van der Linden and Klaus Schmid and Eelco Rommes",
 year         = "2007",
 title        = "Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering",
 publisher    = "Springer-Verlag New York, Inc.",
 address      = "Secaucus, NJ, USA",
)
@inproceedings(1521210,
 author       = "T. Margaria and B. Steffen",
 year         = "2005",
 title        = "Second-Order Semantic Web",
 booktitle    = "Software Engineering Workshop, 2005. 29th Annual IEEE/NASA",
 pages        = "219 --227",
 doi          = "10.1109/SEW.2005.40",
)
@article(ServiceBeholder,
 author       = "Tiziana Margaria",
 year         = "2007",
 title        = "Service Is in the Eyes of the Beholder",
 journal      = "IEEE Computer",
 volume       = "40",
 pages        = "33--37",
 doi          = "10.1109/MC.2007.398",
)
@inproceedings(MaMKIS2009,
 author       = "Tiziana Margaria and Daniel Meyer and Christian Kubczak and Malte Isberner and Bernhard Steffen",
 year         = "2009",
 title        = "{S}ynthesizing {S}emantic {W}eb {S}ervice {C}ompositions with j{M}osel and {G}olog",
 booktitle    = "The Semantic Web - ISWC 2009",
 series       = "LNCS",
 volume       = "5823",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "392--407",
 doi          = "10.1007/978-3-642-04930-9",
)
@article(MarSte2004,
 author       = "Tiziana Margaria and Bernhard Steffen",
 year         = "2004",
 title        = "{L}ightweight coarse-grained coordination: a scalable system-level approach",
 journal      = "STTT",
 volume       = "5",
 number       = "2-3",
 pages        = "107--123",
 doi          = "10.1007/s10009-003-0119-4",
)
@inproceedings(MarSte2007,
 author       = "Tiziana Margaria and Bernhard Steffen",
 year         = "2007",
 title        = "{LTL} {G}uided {P}lanning: {R}evisiting {A}utomatic {T}ool {C}omposition in {ETI}",
 booktitle    = "Proceedings of the 31st {IEEE} Software Engineering Workshop",
 publisher    = "{IEEE} Computer Society",
 pages        = "214\IeC {\textendash }226",
 doi          = "10.1109/SEW.2007.101",
)
@incollection(Agile-IT,
 author       = "Tiziana Margaria and Bernhard Steffen",
 year         = "2009",
 title        = "Agile IT: Thinking in User-Centric Models",
 booktitle    = "Leveraging Applications of Formal Methods, Verification and Validation, Proc. ISoLA 2008",
 series       = "Communications in Computer and Information Science",
 volume       = "17",
 publisher    = "Springer Verlag",
 pages        = "490--502",
 doi          = "10.1007/978-3-540-88479-8\_35",
)
@inproceedings(MargariaS12,
 author       = "Tiziana Margaria and Bernhard Steffen",
 year         = "2012",
 title        = "Service-Orientation: Conquering Complexity with XMDD",
 editor       = "Mike Hinchey and Lorcan Koyle",
 booktitle    = "Conquering Complexity",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4471-2297-5\_10",
)
@(S3,
 author       = "{Matthias Klusch}",
 year         = "2013",
 title        = "{Semantic Service Selection (S3): Retrieval Performance Evaluation of Matchmakers for Semantic Web Services}",
 url          = "http://www-ags.dfki.uni-sb.de/~klusch/s3/",
)
@incollection(MuScSt1999,
 author       = "Markus {M\IeC {\"u}ller-Olm} and David Schmidt and Bernhard Steffen",
 year         = "1999",
 title        = "{M}odel-{C}hecking - {A} {T}utorial {I}ntroduction",
 booktitle    = "Static Analysis",
 pages        = "848",
 doi          = "10.1007/3-540-48294-6\_22",
)
@inproceedings(NaLaSt2012,
 author       = "Stefan Naujokat and Anna-Lena Lamprecht and Bernhard Steffen",
 year         = "2012",
 title        = "{L}oose {P}rogramming with {PROPHETS}",
 editor       = "Juan de Lara and Andrea Zisman",
 booktitle    = "Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012)",
 series       = "LNCS",
 volume       = "7212",
 publisher    = "Springer Heidelberg",
 pages        = "94--98",
 doi          = "10.1007/978-3-642-28872-2\_7",
)
@incollection(NNLSJM2013,
 author       = "Stefan Naujokat and Johannes Neubauer and Anna-Lena Lamprecht and Bernhard Steffen and Sven J\IeC {\"o}rges and Tiziana Margaria",
 year         = "2013",
 title        = "{P}lug-{I}ns: {T}he {E}nabling {P}ower of {S}implicity",
 editor       = "Diego Garbervetsky and Sunghum Kim",
 booktitle    = "Special Issue on Tools as Plug-ins",
 series       = "Software: Practice and Experience",
 publisher    = "John Wiley \& Sons, Ltd.",
 note         = "In submission; review pending",
)
@incollection(FMICSHBOCS11,
 author       = "Johannes Neubauer and Tiziana Margaria and Bernhard Steffen",
 year         = "2011",
 title        = "{Design for Verifiability: The OCS Case Study}",
 booktitle    = "Formal Methods for Industrial Critical Systems: A Survey of Applications",
 publisher    = "John Wiley \& Sons",
 doi          = "10.1002/9781118459898.ch8",
)
@article(NeuSte2013,
 author       = "Johannes Neubauer and Bernhard Steffen",
 year         = "2013",
 title        = "{P}lug\&{P}lay {H}igher-{O}rder {P}rocess {I}ntegration",
 journal      = "to appear",
)
@inproceedings(DBLP:conf/icsob/NeubauerS13,
 author       = "Johannes Neubauer and Bernhard Steffen",
 year         = "2013",
 title        = "Second-Order Servification",
 editor       = "Georg Herzwurm and Tiziana Margaria",
 booktitle    = "ICSOB",
 series       = "Lecture Notes in Business Information Processing",
 volume       = "150",
 publisher    = "Springer",
 pages        = "13--25",
 doi          = "10.1007/978-3-642-39336-5\_2",
 url          = "10.1007/978-3-642-39336-5",
)
@(bpmn2spec,
 author       = "{OMG}",
 year         = "2011",
 title        = "{Business Process Model and Notation (BPMN) Version 2.0}",
 url          = "http://www.omg.org/spec/BPMN/2.0/",
)
@(oracle-bpel,
 author       = "{Oracle Inc.}",
 year         = "2013",
 title        = "{Oracle BPEL Process Manager Website}",
 url          = "http://www.oracle.com/technetwork/middleware/bpel/overview/index.html",
)
@book(petrie2009semantic,
 author       = "C. Petrie",
 year         = "2009",
 title        = "Semantic Web Services Challenge",
 series       = "Semantic web and beyond",
 publisher    = "Springer London, Limited",
 doi          = "10.1007/978-0-387-72496-6",
 url          = "http://books.google.de/books?id=hXK125b2MRAC",
)
@(jBPM,
 author       = "{RedHat Software - JBoss}",
 year         = "2012",
 title        = "{jBPM Website}",
 note         = "\url {http://www.jboss.org/jbpm}",
)
@incollection(aris,
 author       = "August-Wilhelm Scheer and Kristof Schneider",
 year         = "2006",
 title        = "ARIS \IeC {\textemdash } Architecture of Integrated Information Systems",
 editor       = "Peter Bernus and Kai Mertins and G\IeC {\"u}nter Schmidt",
 booktitle    = "Handbook on Architectures of Information Systems",
 series       = "International Handbooks on Information Systems",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "605--623",
 doi          = "10.1007/3-540-26661-5\_25",
)
@book(Schmidt94,
 author       = "David A. Schmidt",
 year         = "1994",
 title        = "The structure of typed programming languages",
 series       = "Foundations of computing series",
 publisher    = "MIT Press",
)
@article(Schmidt96,
 author       = "David A. Schmidt",
 year         = "1996",
 title        = "Programming Language Semantics",
 journal      = "ACM Comput. Surv.",
 volume       = "28",
 number       = "1",
 pages        = "265--267",
 doi          = "10.1145/234313.234419",
)
@inproceedings(Schmidt98,
 author       = "David A. Schmidt",
 year         = "1998",
 title        = "Data Flow Analysis is Model Checking of Abstract Interpretations",
 editor       = "David B. MacQueen and Luca Cardelli",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "38--48",
 doi          = "10.1145/268946.268950",
 url          = "http://dl.acm.org/citation.cfm?id=268946",
)
@inproceedings(SchSte1998,
 author       = "David A. Schmidt and Bernhard Steffen",
 year         = "1998",
 title        = "{P}rogram {A}nalysis as {M}odel {C}hecking of {A}bstract {I}nterpretations",
 booktitle    = "Proceedings of the 5th International Symposium on Static Analysis",
 publisher    = "Springer-Verlag",
 pages        = "351--380",
 doi          = "10.1007/3-540-49727-7\_22",
)
@incollection(higherorder,
 author       = "Peter Sestoft",
 year         = "2012",
 title        = "Higher-Order Functions",
 booktitle    = "Programming Language Concepts",
 series       = "Undergraduate Topics in Computer Science",
 volume       = "50",
 publisher    = "Springer London",
 pages        = "77--91",
 doi          = "10.1007/978-1-4471-4156-3\_5",
)
@article(SiPWHN2004,
 author       = "Evren Sirin and Bijan Parsia and Dan Wu and James A. Hendler and Dana S. Nau",
 year         = "2004",
 title        = "{HTN} planning for {W}eb {S}ervice composition using {SHOP}2",
 journal      = "J. Web Semantics",
 volume       = "1",
 number       = "4",
 pages        = "377--396",
 doi          = "10.1016/j.websem.2004.06.005",
)
@inproceedings(HierarchicalSD-97,
 author       = "B. Steffen and T. Margaria and V. Braun and N. Kalt",
 year         = "1997",
 title        = "Hierarchical Service Definition",
 booktitle    = "Annual Review of Communication",
 publisher    = "Int. Engineering Consortium Chicago (USA), IEC",
 pages        = "847--856",
)
@inproceedings(Steffe1991,
 author       = "Bernhard Steffen",
 year         = "1991",
 title        = "{D}ata {F}low {A}nalysis as {M}odel {C}hecking",
 booktitle    = "Proceedings of the International Conference on Theoretical Aspects of Computer Software",
 publisher    = "Springer-Verlag",
 pages        = "346--365",
 doi          = "10.1007/3-540-54415-1\_54",
)
@inproceedings(Steffe1993,
 author       = "Bernhard Steffen",
 year         = "1993",
 title        = "{G}enerating data flow analysis algorithms from modal specifications",
 booktitle    = "Selected papers of the conference on Theoretical aspects of computer software",
 publisher    = "Elsevier Science Publishers B. V.",
 address      = "Sendai, Japan",
 pages        = "115--139",
 doi          = "10.1016/0167-6423(93)90003-8",
)
@inproceedings(HLBand,
 author       = "Bernhard Steffen and Tiziana Margaria",
 year         = "1999",
 title        = "METAFrame in Practice: Design of Intelligent Network Services",
 booktitle    = "Correct System Design - Correct System Design, Recent Insight and Advances",
 series       = "Lecture Notes in Computer Science",
 volume       = "1710",
 publisher    = "Springer",
 pages        = "390--415",
 doi          = "10.1007/3-540-48092-7\_17",
)
@article(StMaBr1997,
 author       = "Bernhard Steffen and Tiziana Margaria and Volker Braun",
 year         = "1997",
 title        = "{T}he {E}lectronic {T}ool {I}ntegration platform: concepts and design",
 journal      = "International Journal on Software Tools for Technology Transfer (STTT)",
 volume       = "1",
 number       = "1-2",
 pages        = "9--30",
 doi          = "10.1007/s100090050003",
)
@inbook(StMaNa2006,
 author       = "Bernhard Steffen and Tiziana Margaria and Ralf Nagel and Sven J\IeC {\"o}rges and Christian Kubczak",
 year         = "2006",
 title        = "{M}odel-{D}riven {D}evelopment with the j{ABC}",
 pages        = "92--108",
 series       = "LNCS",
 volume       = "4383",
 publisher    = "Springer Berlin / Heidelberg",
 doi          = "10.1007/978-3-540-70889-6\_7",
)
@inproceedings(OTA-BPM09,
 author       = "B. Steffen T. Margaria",
 year         = "2009",
 title        = "Business Process Modeling in the jABC: The One-Thing Approach",
 booktitle    = "Handbook of Research on Business Process Modeling",
 publisher    = "IGI Global",
 pages        = "1--26",
 doi          = "10.4018/978-1-60566-288-6.ch001",
 url          = "http://www.igi-global.com/chapter/business-process-modeling-jabc/19685",
)
@(swscWebsite,
 author       = "{Website}",
 year         = "2012",
 title        = "{Semantic Web Service Challenge: Evaluating Semantic Web Services Mediation, Choreography and Discovery}",
 note         = "\url {http://www.sws-challenge.org}",
)