@book(Andrews:1986:IML:42772,
 author       = "Peter B. Andrews",
 year         = "1986",
 title        = "An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof",
 publisher    = "Academic Press Professional, Inc.",
 address      = "San Diego, CA, USA",
)
@article(AutoFocus,
 author       = "Manfred Broy and Franz Huber and Bernhard Sch\"atz",
 year         = "1999",
 title        = "AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme",
 journal      = "Informatik Forschung und Entwicklung",
 volume       = "14",
 pages        = "121--134",
 doi          = "10.1007/s004500050132",
)
@book(Broy2001,
 author       = "Manfred Broy and Ketil St{\o }len",
 year         = "2001",
 title        = "Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement",
 series       = "Monographs in Computer Science",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4613-0091-5",
)
@article(Cerny2014InterfaceSimulationDistances,
 author       = "Pavol Cern{\'{y}} and Martin Chmelik and Thomas A. Henzinger and Arjun Radhakrishna",
 year         = "2014",
 title        = "Interface simulation distances",
 journal      = "Theor. Comput. Sci.",
 volume       = "560",
 pages        = "348--363",
 doi          = "10.1016/j.tcs.2014.08.019",
)
@incollection(Henzinger2010SimulationDistances,
 author       = "Pavol Cerny and ThomasA. Henzinger and Arjun Radhakrishna",
 year         = "2010",
 title        = "Simulation Distances",
 editor       = "Paul Gastin and Fran\c cois Laroussinie",
 booktitle    = "CONCUR 2010 - Concurrency Theory",
 series       = "Lecture Notes in Computer Science",
 volume       = "6269",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "253--268",
 doi          = "10.1007/978-3-642-15375-4\_18",
)
@article(Chechik2003,
 author       = "Marsha Chechik and Benet Devereux and Steve Easterbrook and Arie Gurfinkel",
 year         = "2003",
 title        = "Multi-valued Symbolic Model-checking",
 journal      = "ACM Trans. Softw. Eng. Methodol.",
 volume       = "12",
 number       = "4",
 pages        = "371--408",
 doi          = "10.1145/990010.990011",
)
@article(Davis1988,
 author       = "Alan M. Davis",
 year         = "1988",
 title        = "A Comparison of Techniques for the Specification of External System Behavior",
 journal      = "Commun. ACM",
 volume       = "31",
 number       = "9",
 pages        = "1098--1115",
 doi          = "10.1145/48529.48534",
)
@inproceedings(eysholdt2010xtext,
 author       = "Moritz Eysholdt and Heiko Behrens",
 year         = "2010",
 title        = "Xtext: implement your language faster than the quick and dirty way",
 booktitle    = "Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion",
 organization = "ACM",
 pages        = "307--309",
 doi          = "10.1145/1869542.1869625",
)
@inproceedings(Hackenberg2012,
 author       = "G. Hackenberg and M. Irlbeck and V. Koutsoumpas and D. Bytschkow",
 year         = "2012",
 title        = "Applying formal software engineering techniques to smart grids",
 booktitle    = "Software Engineering for the Smart Grid (SE4SG), 2012 International Workshop on",
 pages        = "50--56",
 doi          = "10.1109/SE4SG.2012.6225719",
)
@inproceedings(Hackenberg2014,
 author       = "Georg Hackenberg and Maximilian Irlbeck and Vasileios Koutsoumpas and Denis Bytschkow",
 year         = "2014",
 title        = "A Rapid Prototyping Approach for Smart Energy Systems Based on Partial System Models",
 booktitle    = "Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International",
 pages        = "596--601",
 doi          = "10.1109/COMPSACW.2014.100",
)
@article(hall2002correctness,
 author       = "Anthony Hall and Roderick Chapman",
 year         = "2002",
 title        = "Correctness by Construction: Developing a Commercial Secure System",
 journal      = "{IEEE} Software",
 volume       = "19",
 number       = "1",
 pages        = "18--25",
 doi          = "10.1109/52.976937",
)
@inproceedings(Henzinger2014ModelMeasuringHybridSystems,
 author       = "Thomas A. Henzinger and Jan Otop",
 year         = "2014",
 title        = "Model Measuring for Hybrid Systems",
 booktitle    = "Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control",
 series       = "HSCC '14",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "213--222",
 doi          = "10.1145/2562059.2562130",
)
@book(Jacky:1996:WZP:249512,
 author       = "Jonathan Jacky",
 year         = "1996",
 title        = "The Way of Z: Practical Programming with Formal Methods",
 publisher    = "Cambridge University Press",
 address      = "New York, NY, USA",
 doi          = "10.1017/CBO9780511574924",
)
@book(Kruse1994FoundationOfFuzzySystems,
 author       = "Rudolf Kruse and Joan E. Gebhardt and F. Klowon",
 year         = "1994",
 title        = "Foundations of Fuzzy Systems",
 edition      = "1st",
 publisher    = "John Wiley \& Sons, Inc.",
 address      = "New York, NY, USA",
)
@article(Kwiatkowska2004,
 author       = "Marta Kwiatkowska and Gethin Norman and David Parker",
 year         = "2004",
 title        = "Probabilistic symbolic model checking with PRISM: a hybrid approach",
 journal      = "International Journal on Software Tools for Technology Transfer",
 volume       = "6",
 number       = "2",
 pages        = "128--142",
 doi          = "10.1007/s10009-004-0140-2",
)
@article(Luqi1997FormalMethods,
 author       = "Luqi and Joseph A Goguen",
 year         = "1997",
 title        = "Formal methods: promises and problems",
 journal      = "Software, IEEE",
 volume       = "14",
 number       = "1",
 pages        = "73--85",
 doi          = "10.1109/52.566430",
)
@inproceedings(Matthews2002FuzzyConceptsAndFormalMethodesSample,
 author       = "C. Matthews",
 year         = "2002",
 title        = "Fuzzy concepts and formal methods: a sample specification for a fuzzy expert system",
 booktitle    = "Fuzzy Systems, 2002. FUZZ-IEEE'02. Proceedings of the 2002 IEEE International Conference on",
 volume       = "2",
 pages        = "1150--1155",
 doi          = "10.1109/FUZZ.2002.1006666",
)
@incollection(Matthews2000FormalSpec,
 author       = "Chris Matthews and PaulA. Swatman",
 year         = "2000",
 title        = "Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z",
 booktitle    = "ZB 2000: Formal Specification and Development in Z and B",
 series       = "Lecture Notes in Computer Science",
 volume       = "1878",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "491--510",
 doi          = "10.1007/3-540-44525-0\_29",
)
@phdthesis(NeubeckPhilipp2012,
 author       = "Philipp Neubeck",
 year         = "2012",
 title        = "A Probabilitistic Theory of Interactive Systems",
 type         = "Dissertation",
 school       = "Technische Universit\"at M\"unchen",
 address      = "M\"unchen",
)
@book(Nipkow-Paulson-Wenzel:2002,
 author       = "Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel",
 year         = "2002",
 title        = "Isabelle/HOL --- A Proof Assistant for Higher-Order Logic",
 series       = "LNCS",
 volume       = "2283",
 publisher    = "Springer",
)
@book(Pohl2012SPES,
 editor       = "Klaus Pohl and Harald H{\"{o}}nninger and Reinhold Achatz and Manfred Broy",
 year         = "2012",
 title        = "Model-Based Engineering of Embedded Systems, The {SPES} 2020 Methodology",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-34614-9",
)
@book(Sommerville2006,
 author       = "Ian Sommerville",
 year         = "2006",
 title        = "Software Engineering: (8th Edition) (International Computer Science)",
 publisher    = "Addison-Wesley Longman Publishing Co., Inc.",
 address      = "Boston, MA, USA",
)
@article(Spichkova08focuson,
 author       = "Maria Spichkova",
 year         = "2008",
 title        = "Focus on Isabelle: From specification to verification",
 journal      = "Department of Electrical and Computer Engineering, Concordia University, Tech. Rep",
)
@article(zadeh1965fuzzy,
 author       = "L. A. Zadeh",
 year         = "1965",
 title        = "Fuzzy sets",
 journal      = "Information and control",
 volume       = "8",
 number       = "3",
 pages        = "338--353",
 doi          = "10.1016/S0019-9958(65)90241-X",
)
@article(Zadeh1999PossibilityTheory,
 author       = "L. A. Zadeh",
 year         = "1999",
 title        = "Fuzzy Sets As a Basis for a Theory of Possibility",
 journal      = "Fuzzy Sets Syst.",
 volume       = "100",
 pages        = "9--34",
 doi          = "10.1016/S0165-0114(99)80004-9",
)
@inproceedings(Zadeh1977PossibilityVsProbability,
 author       = "L.A Zadeh",
 year         = "1977",
 title        = "Possibility theory vs. probability theory in decision analysis",
 booktitle    = "Decision and Control including the 16th Symposium on Adaptive Processes and A Special Symposium on Fuzzy Set Theory and Applications, 1977 IEEE Conference on",
 pages        = "1267--1269",
 doi          = "10.1109/CDC.1977.271764",
)