@article(deAlfaro01,
 author       = "Luca de Alfaro and Thomas A. Henzinger",
 year         = "2001",
 title        = "{Interface Automata}",
 journal      = "SIGSOFT Softw. Eng. Notes",
 volume       = "26",
 number       = "5",
 pages        = "109--120",
 doi          = "10.1145/503271.503226",
)
@article(BHH+06,
 author       = "Hubert Baumeister and Florian Hacklinger and Rolf Hennicker and Alexander Knapp and Martin Wirsing",
 year         = "2006",
 title        = "{A Component Model for Architectural Programming}",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "160",
 pages        = "75--96",
 doi          = "10.1016/j.entcs.2006.05.015",
)
@inproceedings(sifakis10,
 author       = "Saddek Bensalem and Marius Bozga and Joseph Sifakis and Thanh-Hung Nguyen",
 year         = "2008",
 title        = "{Compositional Verification for Component-Based Systems and Application}",
 booktitle    = "Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis",
 series       = "ATVA '08",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "64--79",
 doi          = "10.1007/978-3-540-88387-6_7",
)
@article(bernardoArch,
 author       = "Marco Bernardo and Paolo Ciancarini and Lorenzo Donatiello",
 year         = "2002",
 title        = "{Architecting Families of Software Systems with Process Algebras}",
 journal      = "ACM Trans. Softw. Eng. Methodol.",
 volume       = "11",
 number       = "4",
 pages        = "386--426",
 doi          = "10.1145/606612.606614",
)
@inproceedings(goessler11,
 author       = "Borzoo Bonakdarpour and Marius Bozga and Gregor Goessler",
 year         = "2011",
 title        = "{A Theory of Fault Recovery for Component-Based Models}",
 booktitle    = "Proceedings of the 2011 IEEE 30th International Symposium on Reliable Distributed Systems",
 series       = "SRDS '11",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "265--270",
 doi          = "10.1109/SRDS.2011.39",
)
@article(roscoeArch,
 author       = "Stephen D. Brookes and A. W. Roscoe",
 year         = "1991",
 title        = "{Deadlock Analysis in Networks of Communicating Processes}",
 journal      = "Distributed Computing",
 volume       = "4",
 pages        = "209--230",
 doi          = "10.1007/BF01784721",
)
@inproceedings(esparza,
 author       = "Allan Cheng and Javier Esparza and Jens Palsberg",
 year         = "1993",
 title        = "{Complexity results for 1-safe nets}",
 booktitle    = "Proceedings of FSTTCS'93",
 series       = "LNCS",
 volume       = "761",
 pages        = "326--337",
 doi          = "10.1007/3-540-57529-4_66",
)
@book(complexGuide,
 author       = "Michael R. Garey and David S. Johnson",
 year         = "1979",
 title        = "{Computers and Intractability: A Guide to the Theory of NP-Completeness}",
 publisher    = "{W. H. Freeman}",
)
@inproceedings(GGM+07,
 author       = "Gregor G\"{o}ssler and Sussane Graf and Mila Majster-Cederbaum and M. Martens and Joseph Sifakis",
 year         = "2007",
 title        = "An Approach to Modelling and Verification of Component Based Systems",
 booktitle    = "Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science",
 series       = "SOFSEM '07",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "295--308",
 doi          = "10.1007/978-3-540-69507-3_24",
)
@article(interactionSystems,
 author       = "Gregor G\"{o}ssler and Joseph Sifakis",
 year         = "2005",
 title        = "{Composition for Component-Based Modeling}",
 journal      = "Sci. Comput. Program.",
 volume       = "55",
 number       = "1-3",
 pages        = "161--183",
 doi          = "10.1016/j.scico.2004.05.014",
)
@article(HJK08,
 author       = "Rolf Hennicker and Stephan Janisch and Alexander Knapp",
 year         = "2010",
 title        = "{On the Observable Behaviour of Composite Components}",
 journal      = "Electron. Notes Theor. Comput. Sci.",
 volume       = "260",
 pages        = "125--153",
 doi          = "10.1016/j.entcs.2009.12.035",
)
@book(hoare,
 author       = "Charles A. R. Hoare",
 year         = "1985",
 title        = "{Communicating Sequential Processes}",
 series       = "Prentice-Hall International series in computer science",
 address      = "Englewood Cliffs, NJ [u.a.]",
)
@article(JonesLL77,
 author       = "Neil D. Jones and Lawrence H. Landweber and Y. Edmund Lien",
 year         = "1977",
 title        = "{Complexity of Some Problems in Petri Nets}",
 journal      = "Theor. Comput. Sci.",
 volume       = "4",
 number       = "3",
 pages        = "277--299",
 doi          = "10.1016/0304-3975(77)90014-7",
)
@inproceedings(Lambertz09,
 author       = "Christian Lambertz",
 year         = "2009",
 title        = "{Exploiting Architectural Constraints and Branching Bisimulation Equivalences in Component-Based Systems}",
 booktitle    = "Proceedings of the Doctoral Symposium on FM2009",
 series       = "University of Eindhoven Technical Report",
 volume       = "0915",
 pages        = "1--7",
 url          = "http://www.win.tue.nl/~mousavi/fm09ds.pdf",
)
@inproceedings(Lambertz11,
 author       = "Christian Lambertz and Mila Majster-Cederbaum",
 year         = "2012",
 title        = "{Analyzing Component-Based Systems on the Basis of Architectural Constraints}",
 booktitle    = "Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering",
 series       = "FSEN'11",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "64--79",
 doi          = "10.1007/978-3-642-29320-7_5",
)
@inproceedings(treeLike,
 author       = "Mila Majster-Cederbaum and Moritz Martens",
 year         = "2008",
 title        = "{Compositional Analysis of Deadlock-Freedom for Tree-Like Component Architectures}",
 booktitle    = "Proceedings of the 8th ACM international conference on Embedded software",
 series       = "EMSOFT '08",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "199--206",
 doi          = "10.1145/1450058.1450085",
)
@inproceedings(christoph08,
 author       = "Mila Majster-Cederbaum and Christoph Minnameier",
 year         = "2008",
 title        = "{Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets}",
 booktitle    = "Proceedings of the 34th conference on Current trends in theory and practice of computer science",
 series       = "SOFSEM'08",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "352--363",
 doi          = "10.1007/978-3-540-77566-9_30",
)
@inproceedings(everythingIsPSPACE,
 author       = "Mila Majster-Cederbaum and Christoph Minnameier",
 year         = "2008",
 title        = "{Everything Is PSPACE-Complete in Interaction Systems}",
 booktitle    = "Proceedings of the 5th international colloquium on Theoretical Aspects of Computing",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "216--227",
 doi          = "10.1007/978-3-540-85762-4_15",
)
@article(orgtreelike,
 author       = "Mila Majster-Cederbaum and Nils Semmelrock",
 year         = "2010",
 title        = "{Reachability in Tree-Like Component Systems is PSPACE-Complete}",
 journal      = "Electron. Notes Theor. Comput. Sci.",
 volume       = "263",
 pages        = "197--210",
 doi          = "10.1016/j.entcs.2010.05.012",
)
@inproceedings(moe09,
 author       = "Moritz Martens and Mila Majster-Cederbaum",
 year         = "2009",
 title        = "{Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation}",
 booktitle    = "Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering",
 series       = "TASE '09",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "225--232",
 doi          = "10.1109/TASE.2009.18",
)