references.bib

references.bib — BibTeX document, 67 kB (69.494 bytes)

Dateiinhalt

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Arbeiten an der DCCS Professur


%% Papiere mit Riedl

@inproceedings{RSSBS-ESREL2010,
	author		= {M. Riedl and J. Schuster and M. Siegle and M. Blum and F. Schiller},
	title		= {{Dependability Model Transformation -- A Stochastic Process Algebra Semantics for ZuverSicht Models}},
	booktitle 	= {{Reliability, Risk and Safety: Back to the Future. Proceedings of the European Safety and Reliability Conference (ESREL '10)}},
	year 		= {2010},
	editor       	= {B. Ale and I. Papazoglou and E. Zio},
	pages        	= {932--940},
	publisher   	= {CRC Press London},
}
%	note 		= {ISBN 978-0-415-60427-7}

@inproceedings{MR-MS:VECOS:12,
	author    	= {M. Riedl and M. Siegle},
	title     	= {{A LAnguage for REconfigurable dependable Systems: Semantics \& Dependability Model Transformation}},
	booktitle 	= {Proceedings of the 6th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS '12)},
	year      	= {2012},
	month     	= {August},
	pages     	= {78--89},
	publisher 	= {British Computer Society},
	series    	= {eWiC},
} 

@inproceedings{AG-MR-MS:VECOS:13,
	author 		= {A. Gouberman and M. Riedl and M. Siegle},
	title 		= {{Transformation of LARES performability models to continuous-time Markov reward models}},
	booktitle 	= {Proceedings of the 7th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS '13)},
	year		= {2013},
	numpages	= {13},
	publisher 	= {British Computer Society},
	series 		= {eWiC}
} 

@incollection{AG-CG-MR-MS:MMB:13, 
	year		= {2014},
	isbn		= {978-3-319-05358-5},
	booktitle	= {Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance},
	volume		= {8376},
	series		= {Lecture Notes in Computer Science},
	editor		= {Fischbach, K. and Krieger, U. R.},
	doi		= {10.1007/978-3-319-05359-2_17},
	title		= {{An IDE for the LARES Toolset}},
	url		= {http://dx.doi.org/10.1007/978-3-319-05359-2_17},
	publisher	= {Springer International Publishing},
	author		= {Gouberman, A. and Grand, C. and Riedl, M. and Siegle, M.},
	pages		= {240--254}
}

@incollection{mmb:gouberman2012, 
	year		= {2012},
	isbn		= {978-3-642-28539-4},
	booktitle	= {Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance},
	volume		= {7201},
	series		= {Lecture Notes in Computer Science},
	editor		= {Schmitt, J. B.},
	doi		= {10.1007/978-3-642-28540-0_19},
	title		= {{A Modelling and Analysis Environment for LARES}},
	url		= {http://dx.doi.org/10.1007/978-3-642-28540-0_19},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
	author		= {Gouberman, A. and Riedl, M. and Schuster, J. and Siegle, M.},
	pages		= {244--248}
}

@inproceedings{LaresDE:2013,
	author 		= {A. Gouberman and M. Riedl and M. Siegle},
	title 		= {{A Modular and Hierarchical Modelling Approach for Stochastic Control}},
	booktitle 	= {{Proceedings of the 32nd IASTED International Conference on Modelling, Identification and Control (MIC '13)}},
	editor		= {Klement, E.P. and Borutzky, W. and Fahringer, T. and Hamza, M.H. and Uskov, V.}, 
	year 		= {2013},
	numpages 	= {10},
	publisher 	= {ACTA Press},
	doi		= {10.2316/P.2013.794-066},
	url		= {http://dx.doi.org/10.2316/P.2013.794-066},
}

@incollection{bachmann:09, 
	year		= {2009},
	isbn		= {978-3-540-95890-1},
	booktitle	= {SOFSEM 2009: Theory and Practice of Computer Science},
	volume		= {5404},
	series		= {Lecture Notes in Computer Science},
	editor		= {Nielsen, Mogens and Kučera, Antonín and Miltersen, PeterBro and Palamidessi, Catuscia and Tůma, Petr and Valencia, Frank},
	doi		= {10.1007/978-3-540-95891-8_44},
	title		= {{An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA}},
	url		= {http://dx.doi.org/10.1007/978-3-540-95891-8_44},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
	keywords	= {stochastic process algebra; MTBDD; elimination of immediate transitions},
	author		= {Bachmann, J. and Riedl, M. and Schuster, J. and Siegle, M.},
	pages		= {485--496}
}


@inproceedings{Meyer2013,
	author		= {T. Meyer and C. Sondermann-Wölke and W. Sextro and M. Riedl and A. Gouberman and M. Siegle},
	title		= {{Bewertung der Zuverlässigkeit selbstoptimierender Systeme mit dem LARES-Framework}},
	booktitle	= {9. Paderborner Workshop Entwurf Mechatronischer Systeme},
	editor		= {J. Gausemeier and R. Dumitrescu and F. Rammig and W. Schäfer and A. Trächtler},
	year		= {2013}, 
	pages		= {161--174},
	publisher 	= {Heinz-Nixdorf-Institut},
	series		= {HNI-Verlagsschriftenreihe},
	address		= {Paderborn},
}

@inproceedings{4634961,
	author		= {Riedl, M. and Schuster, J. and Siegle, M.},
	booktitle	= {Proceedings of the 5th International Conference on Quantitative Evaluation of Systems (QEST '08)},
	title		= {{Recent Extensions to the Stochastic Process Algebra Tool CASPA}},
	year		= {2008},
	pages		= {113--114},
	doi		= {10.1109/QEST.2008.13},
	url		= {http://dx.doi.org/10.1109/QEST.2008.13}, 
}
%	keywords	= {graphical user interfaces;process algebra;simulation languages;software tools;stochastic processes;GUI;deadlock states;debugging routine;graphical model specification;modelling language;purely symbolic preprocessing step;stochastic process algebra;Algebra;Approximation algorithms;Boolean functions;Data structures;Graphical models;Graphical user interfaces;Logic;State-space methods;Stochastic processes;Usability},

@incollection{lares_novelapproach,
	author 		= {A. Gouberman and M. Riedl and J. Schuster and M. Siegle and M. Walter},
	title 		= {{LARES - A Novel Approach for Describing System Reconfigurability in Dependability Models of Fault-Tolerant Systems}},
	year 		= {2009},
	booktitle 	= {Reliability, Risk, and Safety: Theory and Applications. Proceedings of the European Safety and Reliability Conference (ESREL '09)},
	volume		= {1}, 
	editor		= {Guedes Soares, C. and Bri, R. and Martorell, S.},
	pages 		= {153--160},
	publisher 	= {CRC Press}, 
	location 	= {Prague, Czech Republic},
	url		= {http://dx.doi.org/10.1201/9780203859759.ch22},
	doi		= {10.1201/9780203859759.ch22},
}

@incollection{kuntz:04b, 
	year		= {2004},
	isbn		= {978-3-540-23169-1},
	booktitle	= {Applying Formal Methods: Testing, Performance, and M/E-Commerce},
	volume		= {3236},
	series		= {Lecture Notes in Computer Science},
	editor		= {Núñez, M. and Maamar, Z. and Pelayo, F. L. and Pousttchi, K. and Rubio, F.},
	doi		= {10.1007/978-3-540-30233-9_22},
	title		= {{Symbolic Performance and Dependability Evaluation with the Tool CASPA}},
	url		= {http://dx.doi.org/10.1007/978-3-540-30233-9_22},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
	author		= {Kuntz, M. and Siegle, M. and Werner, E.},
	pages		= {293-307}
}

@article{Schuster28092011,
	author		= {Schuster, J. and Siegle, M.},
	title		= {{Path-based calculation of MTTFF, MTTFR, and asymptotic unavailability with the stochastic process algebra tool CASPA}},
	journal		= {Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability},
	year		= {2011},
	volume		= {225},
	number		= {4},
	pages		= {399--406},
	document_type	= {Conference Paper},
	doi		= {10.1177/1748006X11392286}, 
	URL 		= {http://dx.doi.org/10.1177/1748006X11392286}, 
	eprint 		= {http://pio.sagepub.com/content/early/2011/09/22/1748006X11392286.full.pdf+html}, 
}


@inproceedings{Schuster:2010:DMS:1772630.1772640,
	author		= {Schuster, J. and Siegle, M.},
	title		= {{Dependability modelling with the stochastic process algebra tool CASPA}},
	booktitle 	= {{Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems (DYADEM-FTS '10)}},
	year		= {2010},
	isbn		= {978-1-60558-916-9},
	location	= {Valencia, Spain},
	pages		= {35--36},
	numpages 	= {2},
	url		= {http://dx.doi.org/10.1145/1772630.1772640},
	doi 		= {10.1145/1772630.1772640},
	acmid 		= {1772640},
	publisher 	= {ACM},
	address 	= {New York, NY, USA},
	keywords	= {MTBDD, dependability modelling, stochastic process algebra},
} 

%siegle2002behavior
@book{Siegle:Habil,
	title		= {{Behavior analysis of communication systems: Compositional modelling, compact representation and analysis of performability properties}},
	author		= {Siegle, M.},
	isbn		= {9783832207564},
	series		= {Berichte aus der Informatik},
	url		= {http://d-nb.info/965520692},
	year		= {2002},
	publisher	= {Shaker}, 
}

%% PhD Schuster 
@phdthesis{JS12,
	author		= {J. Schuster},
	title		= {{Towards faster numerical solution of Continuous Time Markov Chains stored by symbolic data structures}},
	school		= {Universit\"at der Bundeswehr M\"unchen},
	year		= {2012},
	url		= {http://d-nb.info/102057920X}, 
}

%% Master/Bachelor Arbeiten

@MastersThesis{Grand2013,
	author		= {C. Grand},
	title		= {{Extension of a textual editor for the specification language LARES - Model transformation, validation and feature development}},
	school		= {Universit\"at der Bundeswehr M\"unchen, Dept. of Computer Science 4 (in German)},
	year		= {2013},
}

@MastersThesis{Marciniak2012,
	author		= {C. Marciniak},
	title		= {{Erweiterung von LARES zur Modellierung von Entscheidungsprozessen}},
	school		= {Universit\"at der Bundeswehr M\"unchen, Dept. of Computer Science 4 (in German)},
	year		= {2012},
}

@MastersThesis{Friebert2011,
	author		= {J. Friebert},
	title		= {{Entwicklung eines Editor- und Analyseumgebung für LARES-Modelle}},
	school		= {Universit\"at der Bundeswehr M\"unchen, Dept. of Computer Science 4 (in German)},
	year		= {2011},
}


@MastersThesis{Bachmann07,
	author		= {J. Bachmann},
	title		= {{Entwurf und Implementierung eines graphischen Modelleditors und einer Benutzerschnittstelle f\"ur das  Werkzeug  CASPA}},
	school		= {Universit\"at der Bundeswehr M\"unchen, Dept. of Computer Science 4 (in German)},
	year		= {2007}
}


%%-----------------------------------------------------------------------------
%% other stuff 

@article{DBLP:journals/cacm/Codd83,
	author		= {E. F. Codd},
	title		= {{A Relational Model of Data for Large Shared Data Banks (Reprint)}},
	journal		= {Communications of the ACM},
	volume		= {26},
	number		= {1},
	year		= {1983},
	pages		= {64--69},
	url		= {http://dx.doi.org/10.1145/357980.358007},
	doi		= {10.1145/357980.358007}, 
	bibsource	= {DBLP, http://dblp.uni-trier.de}, 
}


@article{bryant_bdd,
	author		= {R. E. Bryant},
	title		= {{Symbolic Boolean manipulation with ordered binary-decision diagrams}},
	journal		= {ACM Computing Surveys (CSUR)},
	volume		= {24},
	number		= {3},
	year		= {1992},
	issn		= {0360-0300},
	pages		= {293--318},
	doi		= {10.1145/136035.136043},
	url		= {http://dx.doi.org/10.1145/136035.136043},
	publisher 	= {ACM},
	address		= {New York, NY, USA},
 }



@inproceedings{blum_zuversicht:09,
	AUTHOR		= {M. Blum and F. Schiller},
	TITLE		= {{Effiziente Sicherheitsmodellierung in der Automatisierungs\-technik}},
	BOOKTITLE	= {{Tagungsband SPS/IPC/DRIVES 2009}},
	location	= {N\"urnberg},
	YEAR		= {2009}, 
	EDITOR		= {A. Verl and K. Bender and W. Schumacher},
	PAGES		= {189--197},
	PUBLISHER	= {VDE Verlag GmbH},
	conferencedate 	= {24.Nov.2009 - 26. Nov. 2009},
	isbn		= {978-3-8007-3184-8},
	ADDRESS		= {Berlin}
}


@ARTICLE{ss2010, 
	AUTHOR		= {C. Sondermann-Wölke and W. Sextro},
	TITLE		= {{Integration of Condition Monitoring in Self-optimizing Function Modules Applied to the Active Railway Guidance Module}},
	JOURNAL		= {International Journal on Advances in Intelligent Systems},
	YEAR		= {2010}, 
	VOLUME		= {3},
	NUMBER		= {1\&2},
	PAGES		= {65--74},
}



@incollection{railcab2009,
	year		= {2009},
	isbn		= {978-3-211-76665-1},
	booktitle	= {Dynamical Analysis of Vehicle Systems},
	volume		= {497},
	series		= {CISM International Centre for Mechanical Sciences},
	editor		= {Schiehlen, W.},
	doi		= {10.1007/978-3-211-76666-8_6},
	title		= {{RailCab System: Engineering Aspects}},
	url		= {http://dx.doi.org/10.1007/978-3-211-76666-8_6},
	publisher	= {Springer Vienna},
	author		= {Lückel, J. and Grotstollen, H. and Henke, M. and Hestermeyer, T. and Liu-Henke, X.},
	pages		= {237--281},
}

@book{Scala:2008, 
	author		= {Odersky, M. and Spoon, L. and Venners, B.},
	day		= {26},
	isbn		= {0981531601},
	keywords	= {scala, specification},
    	posted-at	= {2009-06-20 03:02:37},
	publisher	= {Artima Inc.},
	title		= {{Programming in Scala: A Comprehensive Step-by-step Guide}},
	year		= {2008}
}
%	url		= {http://www.worldcat.org/isbn/0981531601},

%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
%% transformation to eDSPN
%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@InProceedings{Zimmermann06,
	author		= {Zimmermann, A.  and Knoke, M. and Huck, A. and Hommel, G. },
	title		= {{Towards version 4.0 of TimeNET}},
	booktitle	= {Proceedings of the 13th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB)}, 
	month		= {March}, 
	year		= {2006},
	pages		= {473--476},
	publisher	= {VDE Verlag VDE Verlag},
	url		= {http://ieeexplore.ieee.org/xpl/abstractAuthors.jsp?arnumber=5755407},
	isbn		= {978-3-8007-2945-6},
}

@INPROCEEDINGS{Ciardo89,
	author		= {Ciardo, G. and Muppala, J. and Trivedi, K.},
	title		= {{SPNP}: {S}tochastic {P}etri {N}et {P}ackage},
	booktitle	= {Proceedings of the Third International Workshop on Petri Nets and Performance Models}, 
	year		= {1989},
	month		= {December},
	pages		= {142--151},
	doi		= {10.1109/PNPM.1989.68548},
	url		= {http://dx.doi.org/10.1109/PNPM.1989.68548},
}

%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
%% Validation
%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@incollection{hermanns1999,
	AUTHOR		= "H. Hermanns and M. Siegle",
	year		= {1999},
	isbn		= {978-3-540-66010-1},
	booktitle	= {Formal Methods for Real-Time and Probabilistic Systems},
	volume		= {1601},
	series		= {Lecture Notes in Computer Science},
	editor		= {Katoen, J.-P.},
	doi		= {10.1007/3-540-48778-6_15},
	title		= {{Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation}},
	pages		= {244--264},
	url		= {http://dx.doi.org/10.1007/3-540-48778-6_15},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
}


%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
%% Related Work
%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@article{Aizpurua2013,
          author 	= {J. I. Aizpurua and E. Muxika},
       journal		= {International Journal on Advances in Security (IARIA Conferences)},
           title 	= {{Model-Based Design of Dependable Systems: Limitations and Evolution of Analysis and Verification Approaches}},
       publisher 	= {IARIA},
           pages 	= {12--31},
	  volume 	= {6},
	  number 	= {1\&2},
            year 	= {2013},
             url 	= {http://www.iariajournals.org/security/tocv6n12.html},
         address 	= {},
}

@incollection{eemcs11031, 
	year		= {2007},
	isbn		= {978-3-540-75595-1},
	booktitle	= {Automated Technology for Verification and Analysis},
	volume		= {4762},
	series		= {Lecture Notes in Computer Science},
	editor		= {Namjoshi, K. S. and Yoneda, T. and Higashino, T. and Okamura, Y.},
	doi		= {10.1007/978-3-540-75596-8_31},
	title		= {{A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains}},
	url		= {http://dx.doi.org/10.1007/978-3-540-75596-8_31},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
	author		= {H. Boudali and P. Crouzen and M. Stoelinga},
	pages		= {441--456}
}

@incollection{Kloul2009, 
	year		= {2009},
	isbn		= {978-3-642-02923-3},
	booktitle	= {Computer Performance Engineering},
	volume		= {5652},
	series		= {Lecture Notes in Computer Science},
	editor		= {Bradley, J. T.},
	doi		= {10.1007/978-3-642-02924-0_8},
	title		= {{From DFTs to PEPA: A Model-to-Model Transformation}},
	url		= {http://dx.doi.org/10.1007/978-3-642-02924-0_8},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
	author		= {Kloul, L.},
	pages		= {94--109}
}

@inproceedings{Boudali2007,
	author		= {Boudali, H. and Crouzen, P. and Stoelinga, M.},
	title		= {{Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains}},
	booktitle	= {{Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks}},
	series		= {DSN '07},
	year		= {2007},
 	isbn		= {0-7695-2855-4},
	pages		= {708--717},
 	numpages	= {10},
	url		= {http://dx.doi.org/10.1109/DSN.2007.37},
	doi		= {10.1109/DSN.2007.37},
	acmid		= {1253118},
	publisher	= {IEEE Computer Society},
	address		= {Washington, DC, USA},
} 



@inproceedings{so64537,
       booktitle	= {{Proceedings of the IEEE International Conference Dependable Systems and Networks With FTCS and DCC, DSN 2008}},
           title	= {{Architectural dependability evaluation with Arcade}},
          author	= {H. {Boudali} and P. {Crouzen} and B.R. {Haverkort} and M. {Kuntz} and M. {Stoelinga}},
         address	= {Los Alamitos},
       publisher	= {IEEE Computer Society Press},
            year	= {2008},
           pages	= {512--521},
             doi	= {10.1109/DSN.2008.4630122},
             url	= {http://doc.utwente.nl/64537/},
}


@inproceedings{so64850,
           month	= {April},
          author	= {H. {Boudali} and P. {Crouzen} and B. R. {Haverkort} and M. {Kuntz} and M. {Stoelinga}},
       booktitle	= {Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008},
         address	= {Los Alamitos},
           title	= {{Arcade -- A Formal, Extensible, Model-based Dependability Evaluation Framework}},
       publisher	= {IEEE Computer Society Press},
           pages	= {243--248},
            year	= {2008},
        keywords	= {Arcade , architectural dependability formalism , dependability modeling , model-based dependability evaluation framework},
             doi	= {10.1109/ICECCS.2008.11},
             url	= {http://doc.utwente.nl/64850/},
}

@inproceedings{so65424,
          author	= {H. {Boudali} and P. {Crouzen} and B. R. {Haverkort} and M. {Kuntz} and M. {Stoelinga}},
       booktitle	= {Proceedings of the Second Workshop on Foundations of Interface Theories (FIT 2008)},
         address	= {Aalborg, Denmark},
           month	= {April},
           title	= {{Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models}},
       publisher	= {University of Aalborg},
           pages	= {5--10},
            year	= {2008},
             url	= {http://doc.utwente.nl/65424/},
}


%% ----------------------------------------------------------------------------
%% Max Walter LARES+ stuff

@inproceedings{Walt11b,
	author		= {M. Walter},
        title		= {{Simple Non-Markovian Models for Complex Repair and Maintenance Strategies with LARES+}},
        booktitle	= {{Advances in Safety, Reliability and Risk Management. Proceedings of the European Safety and Reliability Conference (ESREL '11)}},
        publisher	= {{CRC Press London}},
	editor		= {C. Bérenguer and A. Grall and C. Guedes Soares}, 
	pages		= {962--969},
	year		= {2011}, 
	doi		= {10.1201/b11433-135}, 
	url		= {http://dx.doi.org/10.1201/b11433-135}, 
}

%% ----------------------------------------------------------------------------
%% BDD stuff
@article{Bollig:1996:IVO:235652.235653,
	author		= {Bollig, B. and Wegener, I.},
	title		= {{Improving the {V}ariable {O}rdering of {OBDD}s is {NP-C}omplete}},
	journal		= {IEEE Transactions on Computers},
 	volume		= {45},
 	issue		= {9},
 	month		= {September},
	year		= {1996},
	issn		= {0018-9340},
 	pages		= {993--1002},
	numpages	= {10},
	url		= {http://dx.doi.org/10.1109/12.537122},
	doi		= {10.1109/12.537122},
	acmid		= {235653},
 	publisher	= {IEEE Computer Society},
	address		= {Washington, DC, USA},
	keywords	= {Ordered binary decision diagrams, NP-completeness, variable orderings, verification, graph algorithms.},
} 

@article{Grumberg:2003:LOB:1622420.1622423,
	author		= {Grumberg, O. and Livne, S. and Markovitch, S.},
 	title		= {{Learning to order BDD variables in verification}},
	journal		= {Journal of Artificial Intelligence Research},
	volume		= {18},
	issue		= {1},
	month		= {January},
	year		= {2003},
	issn		= {1076-9757},
	pages		= {83--116},
	numpages	= {34},
	doi		= {10.1613/jair.1096}, 
	url		= {http://dx.doi.org/10.1613/jair.1096},
	acmid		= {1622423},
	publisher	= {AI Access Foundation},
 	address		= {USA},
} 

@book{Malek2007,
	author		= {M. Malek and G. A. Hoffmann and N. Milanovic and S. Brüning and R. Meyer and B. Milic},
	title		= {{Methoden und Werkzeuge zur Verfügbarkeitsermittlung}},
	series		= {{Informatik-Berichte 219}},
	year		= {2007},
	publisher	= {Humboldt-Universität zu Berlin, Institut für Informatik},
	timestamp	= {2013-04-02T11:47:16Z}, 
	url		= {http://edoc.hu-berlin.de/series/informatik-berichte/219/PDF/219.pdf}, 
}



%%-----------------------------------------------------------------------------
%% Semantics and Notation

@article{Plotkin04a,
	author    	= {Gordon D. Plotkin},
  	title     	= {{A Structural Approach to Operational Semantics}},
  	journal   	= {Journal of Logic and Algebraic Programming},
  	volume    	= {60-61},
  	year      	= {2004},
  	pages     	= {17--139},
  	url	    	= {http://dx.doi.org/10.1016/j.jlap.2004.05.001},
}

@book{spivey1992z,
  	title		= {{The Z Notation: A Reference Manual}},
  	author		= {Spivey, J.M.},
  	isbn		= {9780139785290},
  	lccn		= {lc92006090},
  	series		= {Prentice Hall International Series in Computer Science},
  	url		= {http://spivey.oriel.ox.ac.uk/~mike/zrm/zrm.pdf},
  	year		= {1992},
  	publisher	= {Prentice Hall}
}

@incollection{Aceto99structuraloperational,
    	author 		= {L. Aceto and W. Fokkink and C. Verhoef},
    	title 		= {{Structural Operational Semantics}},
    	booktitle 	= {Handbook of Process Algebra},
    	year 		= {2001},
    	pages 		= {197--292},
    	publisher 	= {Elsevier Science},
	adress 		= {Amsterdam}, 
    	editor 		= {Bergstra, J.A. and Ponse, A. and Smolka, S.A.}, 
    	url 		= {http://dx.doi.org/10.1016/B978-044482830-9/50021-7},
}


%%-----------------------------------------------------------------------------
%% Parsing

@article{topdownsyntaxanalysis,
	year		= {1971},
	issn		= {0001-5903},
	journal		= {Acta Informatica},
	volume		= {1},
	number		= {2},
	doi		= {10.1007/BF00289517},
	title		= {{Top-down syntax analysis}},
	url		= {http://dx.doi.org/10.1007/BF00289517},
	publisher	= {Springer},
	author		= {Knuth, D. E.},
	pages		= {79--110},
	language	= {English}, 
}

%%-----------------------------------------------------------------------------
%% Trees

%%%AB HIER WEITER

@inbook{knuth-trees,
   	author 		= {D. E. Knuth},
   	title 		= {{Fundamental Algorithms}},
   	volume 		= {1},
   	series 		= {The Art of Computer Programming},
   	publisher 	= {Addison-Wesley Professional},
   	address 	= {Reading, Massachusetts},
   	edition 	= {Third},
   	month 		= {July},
   	year 		= {1997},
   	type 		= {{Section}},
   	chapter 	= {2.3},
   	pages 		= {308--316},
   	note 		= {{TREES}},
}

%%-----------------------------------------------------------------------------
%% Set Theory
@book{Devlin:1993,
 	author 		= {Devlin, K.},
  	publisher 	= {Springer},
  	title 		= {{The Joy of Sets: Fundamentals of Contemporary Set Theory}},
	edition 	= {Second},
	adress		= {New York, Berlin},
  	year 		= {1994}
}

%%-----------------------------------------------------------------------------
%% Multiset
@book{adeku2011study,
	title		= {{A Study of Multiset Algebras: A Systematization of Fundamentals of Multiset Theory}},
  	author		= {Adeku, M.I.},
  	isbn		= {9783844309010},
  	year		= {2011},
  	publisher	= {Lambert Academic Publishing}
}

@article{singh2008systematization,
	title		= {{A systematization of fundamentals of multisets}},
  	author		= {Singh, D. and Ibrahim, A. M. and Yohanna, T. and Singh, J. N.},
  	journal		= {Lecturas Matematicas},
  	volume		= {29},
  	pages		= {33--48},
  	year		= {2008}, 
  	issn 		= {0120-1980},
}

@article{singh2011complementation,
  	title		= {{Complementation in Multiset Theory}},
  	author		= {Singh, D. and Ibrahim, A. M. and Yohanna, T. and Singh, J. N.},
  	journal		= {International Mathematical Forum},
  	volume		= {6},
  	number		= {38},
  	pages		= {1877--1884},
  	year		= {2011}
}

%%-----------------------------------------------------------------------------
%% Simulation
@Book{bib:bucklew-04,
  	author 		= {Bucklew, J.A.},
  	title 		= {{Introduction to Rare Event Simulation}},
	series		= {Springer Series in Statistics}, 
  	publisher 	= {Springer},
	adress		= {New York, Berlin},
  	year 		= {2004}
}

@article{eemcs21600,
          eprintid 	= {21600},
            number 	= {7-8},
             month 	= {July},
      	       url 	= {http://dx.doi.org/10.1016/j.peva.2011.11.004},
              issn 	= {0166-5316},
            author 	= {Reijsbergen, D. and {de Boer, P.-T.} and Scheinhardt,  W. and Haverkort,  W.},
         num_pages 	= {20},
          keywords 	= {Statistical model checking, Rare events, Importance sampling, Dependable systems},
       ispublished 	= {Published},
           address 	= {Amsterdam},
         publisher 	= {Elsevier},
		doi 	= {10.1016/j.peva.2011.11.004},
           journal 	= {{Performance Evaluation}},
      howpublished 	= {http://eprints.eemcs.utwente.nl/21600/},
            volume 	= {69},
             title 	= {{Rare event simulation for highly dependable systems with fast repairs}},
              year 	= {2012},
             pages 	= {336--355}
}

@INPROCEEDINGS{restartmethod,
	author		= {Villen-Altamirano, M. and Villen-Altamirano, J.},
	booktitle	= {Simulation Conference Proceedings, 1994. Winter},
	title		= {RESTART: A STRAIGHTFORWARD METHOD FOR FAST SIMULATION OF RARE EVENTS},
	year		= {1994},
	pages		= {282--289},
	doi		= {10.1109/WSC.1994.717150},
	url 		= {http://dx.doi.org/10.1109/WSC.1994.717150},
}


%%-----------------------------------------------------------------------------
%% Timed Automata

@incollection{bengtsson2004timed,
  	author		= {Bengtsson, J. and Yi, W.},
  	year 		= {2004},
  	isbn		= {978-3-540-22261-3},
  	booktitle	= {Lectures on Concurrency and Petri Nets},
  	volume		= {3098},
  	series		= {Lecture Notes in Computer Science},
  	editor		= {Desel, J. and Reisig, W. and Rozenberg, G.},
 	doi		= {10.1007/978-3-540-27755-2_3},
  	title		= {{Timed Automata: Semantics, Algorithms and Tools}},
  	url		= {http://dx.doi.org/10.1007/978-3-540-27755-2_3},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
  	pages		= {87--124}
}

%%-----------------------------------------------------------------------------
%% Markov Chains
@book{bolch2006,
  	author    	= {G. Bolch and S. Greiner and H. de Meer and K. S. Trivedi},
  	title     	= {{Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications}},
  	edition   	= {2nd}, 
  	publisher 	= {Wiley},
  	year      	= {2006},
  	isbn      	= {978-0-471-56525-3},
  	pages     	= {I-XVI, 1-878},
  	ee        	= {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0471565253.html},
  	bibsource 	= {DBLP, http://dblp.uni-trier.de}
}

@book{norris1998markov,
  	title		= {{Markov Chains}},
  	author		= {Norris, J.R.},
  	number		= {Nr. 2008},
  	isbn		= {9780521633963},
  	lccn		= {96031570},
  	series		= {Cambridge Series in Statistical and Probabilistic Mathematics},
  	year		= {1998},
  	publisher	= {Cambridge University Press}
}

@article{Ammar:GSPN:87,
	author		= {Ammar, H.H. and Huang, Y. and Liu, R.},
	journal		= {Circuits and Systems, IEEE Transactions on},
	title		= {{Hierarchical models for systems reliability, maintainability, and availability}},
	year		= {1987},
	month		= {Jun},
	volume		= {34},
	number		= {6},
	pages		= {629--638}
}

%%-----------------------------------------------------------------------------
%% Petri Nets
@phdthesis{petriphd_bonn,
  	added-at 	= {2012-11-22T19:17:38.000+0100},
  	address 	= {Bonn},
  	author 		= {Petri, C.A.},
  	biburl 		= {http://www.bibsonomy.org/bibtex/2f690aa17c379b6d2e94e27f62c61e3d0/wvdaalst},
  	interhash 	= {f7c2d1d855c0dca5f4c7116765881198},
  	intrahash 	= {f690aa17c379b6d2e94e27f62c61e3d0},
  	keywords 	= {imported},
  	school 		= {Institut f\"{u}r instrumentelle Mathematik},
  	timestamp 	= {2012-11-22T19:17:38.000+0100},
  	title 		= {{Kommunikation mit Automaten}},
  	year 		= 1962
}

%%-----------------------------------------------------------------------------
%% Reliability and Maintainability Symposium
@INPROCEEDINGS{4126327,
	author		= {Distefano, S. and Puliafito, A.},
	title		= {{Dynamic Reliability Block Diagrams VS Dynamic Fault Trees}},
	booktitle	= {Proceedings of the Annual Reliability and Maintainability Symposium (RAMS '07)},
	year		= {2007},
	pages		= {71--76},
	doi		= {10.1109/RAMS.2007.328095},
	url		= {http://dx.doi.org/10.1109/RAMS.2007.328095},
	ISSN		= {0149-144X},
}

@INPROCEEDINGS{Painter2005,
	author		={Painter, R.R. and Coppit, D.},
	title		= {{Developing High-Level Reliability Languages Using A General Intermediate Domain}}, 
	booktitle	={Proceedings of the Annual Reliability and Maintainability Symposium (RAMS '05)},
	year		={2005},
	pages		={133--138},
	doi		={10.1109/RAMS.2005.1408351},
	url		={http://dx.doi.org/10.1109/RAMS.2005.1408351},
	ISSN		={0149-144X},
}

@INPROCEEDINGS{6517636,
	author		={Meyer, T. and Kessler, J.H. and Sextro, W. and Trachtler, A.},
	booktitle	={Proceedings of the Annual Reliability and Maintainability Symposium (RAMS '13)},
	title		={{Increasing Intelligent Systems' Reliability by Using Reconfiguration}},
	year		={2013},
	pages		={1--6},
	doi		={10.1109/RAMS.2013.6517636},
	url		={http://dx.doi.org/10.1109/RAMS.2013.6517636},
	ISSN		={0149-144X},
}



@inproceedings{boudali2007best,
	   title 	= {{Best of Three Worlds: Towards Sound Architectural Dependability Models}},
           month 	= {September},
          author 	= {H. {Boudali} and B. R. {Haverkort} and M. {Kuntz} and M. {Stoelinga}},
          series 	= {CTIT Workshop Proceedings},
       booktitle 	= {8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS)},
         address 	= {Enschede},
       publisher 	= {University of Twente, CTIT},
            year 	= {2007},
           pages 	= {45--49},
             url 	= {http://doc.utwente.nl/64339/},
      
}

%%-----------------------------------------------------------------------------
%% Generative/Reactive Probabilistic Model Classification
@article{Glabbeek90,
	title 		= {{Reactive, Generative, and Stratified Models of Probabilistic Processes}},
	journal 	= {Information and Computation},
	volume 		= "121",
	number 		= {1},
	pages 		= {59--80},
	year 		= {1995},
	issn 		= "0890-5401",
	url 		= "http://dx.doi.org/10.1006/inco.1995.1123",
	author 		= {R. J. Van Glabbeek and S. A. Smolka and B. Steffen},
}


%%-----------------------------------------------------------------------------
%% MOF/OMG
@manual{MOF,
    	author 		= {{Object Management Group}},
    	citeulike-article-id = {1557124},
    	citeulike-linkout-0 = {http://www.omg.org/cgi-bin/doc?formal/2006-01-01},
    	keywords 	= {dt, dt-n7, mof, omg},
    	posted-at 	= {2007-08-13 08:54:24},
   	priority 	= {2},
    	publisher 	= {Object Management Group},
    	series 		= {OMG Available Specification},
    	title 		= {{Meta Object Facility (MOF) Core Specification Version 2.0}},
    	url 		= {http://www.omg.org/cgi-bin/doc?formal/2006-01-01},
    	year 		= {2006}
}

@manual{UMLProfile-SPTS,
  	author 		= {{Object Management Group}},
  	title 		= {{UML Profile for Schedulability, Performance, and Time Specification}},
  	year 		= {2005},
  	number 		= {OMG formal/05-01-02}, 
  	url 		= {http://www.omg.org/spec/SPTP/1.1/}, 
}

%%-----------------------------------------------------------------------------
%% KLAPER
@article{klaper2013,
	year		={2013},
	issn		={1619-1366},
	journal		={Software \& Systems Modeling},
	doi		={10.1007/s10270-013-0334-8},
	title		={{The KlaperSuite framework for model-driven reliability analysis of component-based systems}},
	url		={http://dx.doi.org/10.1007/s10270-013-0334-8},
	publisher		={Springer},
	keywords	={Model-driven engineering; Reliability analysis and Component-based systems},
	author		={Ciancone, A. and Drago, M. L. and Filieri, A. and Grassi, V. and Koziolek, H. and Mirandola, R.},
	pages		={1--22},
	language	={English}
}


@incollection {Grassi2008,
   	author 		= {Grassi, V. and Mirandola, R. and Randazzo, E. and Sabetta, A.},
   	affiliation 	= {Sistemi e Produzione Università di Roma "Tor Vergata" Dipartimento di Informatica Italy},
   	title 		= {{KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability}},
   	booktitle 	= {The Common Component Modeling Example},
   	series 		= {Lecture Notes in Computer Science},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
   	editor		= {Rausch, A. and Reussner, R. and Mirandola, R. and Plášil, F.},
   	isbn		={978-3-540-85288-9},
   	pages 		= {327--356},
   	volume 		= {5153},
   	url 		= {http://dx.doi.org/10.1007/978-3-540-85289-6\_13},
   	year 		= {2008}
}

@inproceedings{Grassi2007,
 author = {Grassi, V. and Mirandola, R. and Sabetta, A.},
 title = {{A Model-Driven Approach to Performability Analysis of Dynamically Reconfigurable Component-Based Systems}},
 booktitle = {Proceedings of the 6th international workshop on Software and performance},
 series = {WOSP '07},
 year = {2007},
 isbn = {1-59593-297-6},
 location = {Buenes Aires, Argentina},
 pages = {103--114},
 numpages = {12},
 url = {http://dx.doi.org/10.1145/1216993.1217011},
 doi = {10.1145/1216993.1217011},
 acmid = {1217011},
 publisher = {ACM},
 address = {New York, NY, USA},
} 


@incollection {Grassi2006,
   author = {Grassi, V. and Mirandola, R. and Sabetta, A.},
   affiliation = {Dipartimento di Informatica, Sistemi e Produzione, Università di Roma “Tor Vergata”, Italy},
   title = {{A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems}},
   booktitle = {Component-Based Software Engineering},
   series = {Lecture Notes in Computer Science},
   editor = {Gorton, I. and Heineman, G. and Crnkovic, I. and Schmidt, H. and Stafford, J. and Szyperski, C. and Wallnau, K.},
   publisher	= {Springer},
   adress	= {Berlin, Heidelberg},
   isbn = {},
   pages = {270--284},
   volume = {4063},
   url = {http://dx.doi.org/10.1007/11783565\_19},
   year = {2006}
}

@inproceedings{Grassi2005,
 author = {Grassi, V. and Mirandola, R. and Sabetta, A.},
 title = {{From Design to Analysis Models: A Kernel Language for Performance and Reliability Analysis of Component-based Systems}},
 booktitle = {Proceedings of the 5th international workshop on Software and performance},
 series = {WOSP '05},
 year = {2005},
 isbn = {1-59593-087-6},
 location = {Palma, Illes Balears, Spain},
 pages = {25--36},
 numpages = {12},
 url = {http://dx.doi.org/10.1145/1071021.1071024},
 doi = {10.1145/1071021.1071024},
 acmid = {1071024},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@article{lqn,
 author = {Franks, G. and Al-Omari, T. and Woodside, M. and Das, O. and Derisavi, S.},
 title = {{Enhanced Modeling and Solution of Layered Queueing Networks}},
 journal = {IEEE Transactions on Software Engineering},
 issue_date = {March 2009},
 volume = {35},
 number = {2},
 month = {March},
 year = {2009},
 issn = {0098-5589},
 pages = {148--161},
 numpages = {14},
 url = {http://dx.doi.org/10.1109/TSE.2008.74},
 doi = {10.1109/TSE.2008.74},
 acmid = {1525796},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 keywords = {Modeling and prediction, Performance, Performance, Modeling and prediction, Queuing theory, Queuing theory},
} 


%%-----------------------------------------------------------------------------
%% COMPASS/SLIM
@article{Bozzano2011,
 author = {Bozzano, M. and Cimatti, A. and Katoen, J.-P. and Nguyen, V. Y. and Noll, T. and Roveri, M.}, 
 title = {{Safety, Dependability and Performance Analysis of Extended AADL Models}}, 
 volume = {54}, 
 number = {5}, 
 pages = {754--775}, 
 year = {2011}, 
 doi = {10.1093/comjnl/bxq024}, 
 URL = {http://comjnl.oxfordjournals.org/content/54/5/754.abstract}, 
 eprint = {http://comjnl.oxfordjournals.org/content/54/5/754.full.pdf+html}, 
 journal = {The Computer Journal} 
}

@inproceedings{Bozzano2011_VV,
    author = {Bozzano, M. and Cavada, R. and Cimatti, A. and Katoen, J. P. and Nguyen, V. Y. and Noll, T. and Olive, X.},
    booktitle = {Proceedings of Embedded Real Time Software and Systems Conference},
    citeulike-article-id = {8596746},
    keywords = {aadl, formal, validation, verification},
    posted-at = {2011-01-13 14:02:36},
    priority = {3},
    numpages = {9},
    title = {{Formal Verification and Validation of AADL Models}},
    url = {http://www.academia.edu/2742812/Formal_verification_and_validation_of_aadl_models},
    year = {2010}
}


@incollection{Bozzano2010_AADLMC,
 	year		= {2010},
 	isbn		= {978-3-642-14294-9},
 	booktitle	= {Computer Aided Verification},
 	volume		= {6174},
 	series		= {Lecture Notes in Computer Science},
	editor		= {Touili, T. and Cook, B. and Jackson, P.},
 	doi		= {10.1007/978-3-642-14295-6_48},
 	title		= {{A Model Checker for AADL}},
 	url		= {http://dx.doi.org/10.1007/978-3-642-14295-6\_48},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
 	author		= {Bozzano, M. and Cimatti, A. and Katoen, J.-P. and Nguyen, V. Y. and Noll, T. and Roveri, M. and Wimmer, R.},
 	pages		= {562--565}
}

@incollection{Bozzano2009_COMPASS,
 	year		= {2009},
 	isbn		= {978-3-642-04467-0},
 	booktitle	= {Computer Safety, Reliability, and Security}, 
 	volume		= {5775},
 	series		= {Lecture Notes in Computer Science},
 	editor		= {Buth, B. and Rabe, G. and Seyfarth, T.},
 	doi		= {10.1007/978-3-642-04468-7_15},
 	title		= {{The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems}},
 	url		= {http://dx.doi.org/10.1007/978-3-642-04468-7\_15},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
 	author		= {Bozzano, Marco and Cimatti, Alessandro and Katoen, Joost-Pieter and Nguyen, VietYen and Noll, Thomas and Roveri, Marco},
 	pages		= {173--186}
}

@inproceedings{Bozzano2009_SLIM,
	author 		= {Bozzano, M. and Cimatti, A. and Roveri, M. and Katoen, J.-P. and Nguyen, V. Y. and Noll, T.},
	title 		= {{Codesign of Dependable Systems: A Component-Based Modeling Language}},
	booktitle 	= {Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign},
	series 		= {MEMOCODE'09},
	year 		= {2009},
	isbn 		= {978-1-4244-4806-7},
	location 	= {Cambridge, Massachusetts},
	pages 		= {121--130},
	numpages 	= {10},
	url 		= {http://dl.acm.org/citation.cfm?id=1715759.1715776},
	acmid 		= {1715776},
	publisher 	= {IEEE Press},
	address 	= {Piscataway, NJ, USA},
} 

%%http://compass.informatik.rwth-aachen.de

%%-----------------------------------------------------------------------------
%% MODEST

@incollection{Modest2001, 
 	year		= {2001},
 	isbn		= {978-3-540-42556-4},
 	booktitle	= {Process Algebra and Probabilistic Methods. Performance Modelling and Verification},
 	volume		= {2165},
 	series		= {Lecture Notes in Computer Science},
 	editor		= {Alfaro, L. and Gilmore, S.},
 	doi		= {10.1007/3-540-44804-7_6},
	title		= {{MoDeST -- A Modelling and Description Language for Stochastic Timed Systems}},
 	url		= {http://dx.doi.org/10.1007/3-540-44804-7\_6},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
 	author		= {D’Argenio, P. R. and Hermanns, H. and Katoen, J.-P. and Klaren, R.},
	pages		= {87--104},
 	language	= {English}
}

@ARTICLE{Modest2006,
	author		= {Bohnenkamp, H. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.},
	journal		= {IEEE Transactions on Software Engineering},
	title		= {{MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems}},
	year		= {2006},
	volume		= {32},
	number		= {10},
	pages		= {812--830},
	doi		= {10.1109/TSE.2006.104},
	url		= {http://dx.doi.org/10.1109/TSE.2006.104},
	ISSN		= {0098-5589},
}

@inproceedings{so54793,
          author = {H. {Hermanns} and D.N. {Jansen} and Y.S. {Usenko}},
            note = {HJU05},
       booktitle = {Proceedings of the 5th international workshop on Software and performance, WOSP '05},
         address = {New York, NY, USA},
           title = {{From StoCharts to MoDeST: A comparative reliability analysis of train radio communications}},
       publisher = {ACM Press},
           pages = {13--23},
            year = {2005},
             url = {http://doc.utwente.nl/54793/},
}

@inproceedings{HartmannsH09,
  author    = {A. Hartmanns and H. Hermanns},
  title     = {{A Modest Approach to Checking Probabilistic Timed Automata}},
  booktitle = {Proceedings of the Sixth International Conference on the Quantitative Evaluation of Systems}, 
  location  = {Budapest, Hungary}, 
  month     = {September},
  year      = {2009},
  pages     = {187--196},
  doi	    = {10.1109/QEST.2009.41},
  url       = {http://dx.doi.org/10.1109/QEST.2009.41},
}

@inproceedings{Hartmanns12,
  author    = {A. Hartmanns},
  title     = {{MODEST – A unified language for quantitative models}},
  booktitle = {Proceeding of the Forum on Specification and Design Languages},
  location  = {Vienna, Austria}, 
  year      = {2012},
  pages     = {44--51},
  url        = {http://ieeexplore.ieee.org/xpl/freeabs\_all.jsp?arnumber=6336982},
  publisher = {IEEE},
  isbn      = {978-1-4673-1240-0},
}

@article{Hahn2012,
	year={2012},
	issn={0925-9856},
	journal={Formal Methods in System Design},
	doi={10.1007/s10703-012-0167-z},
	title={{A compositional modelling and analysis framework for stochastic hybrid systems}},
	url={http://dx.doi.org/10.1007/s10703-012-0167-z},
	publisher={Springer},
	keywords={Stochastic hybrid automata; Process calculus; Modelling; Analysis; Abstraction},
	author={Hahn, E.M. and Hartmanns, A. and Hermanns, H. and Katoen, J.-P.},
	pages={1--42},
	language={English}
}

@incollection{Bohnenkamp2007, 
	year		= {2007},
	isbn		= {978-3-540-71208-4},
	booktitle	= {Tools and Algorithms for the Construction and Analysis of Systems},
	volume		= {4424},
	series		= {Lecture Notes in Computer Science},
	editor		= {Grumberg, Orna and Huth, Michael},
	doi		= {10.1007/978-3-540-71209-1_38},
	title		= {{MOTOR: The MODEST Tool Environment}},
	url		= {http://dx.doi.org/10.1007/978-3-540-71209-1_38},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},	
	author		= {Bohnenkamp, Henrik and Hermanns, Holger and Katoen, Joost-Pieter},
	pages		= {500-504}
}

%%-----------------------------------------------------------------------------
%% AltaRica

@inproceedings{BR94b,
	category	=	{InternationalConference},
	publisher	=	{World Scientific Publishing},
	title		=	{{Synchronization of Constrained Transition Systems}},
	booktitle	=	{Proceedings of the First International Symposium on Parallel Symbolic Computation (PASCO'94)},
	author		=	{S. Brlek and A. Rauzy},
	year		=	{1994},
	editor		=	{H. Hong},
	address		=	{Linz, Austria},
	pages		=	{54--62}, 
	isbn    	=	{9810220405}, 
}

@article{Point99,
	year		=	{1999},
	issn		=	{1269-6935},
	title		=	{{AltaRica -- Constraint automata as a description language}},
	journal		=	{Journal Europ\'een des Syst\`emes Automatis\'es},
	publisher	=	{Hermes Science Publications},
	author		=	{G.~Point and A.~Rauzy},
	keywords	=	{Stochastic hybrid automata; Process calculus; Modelling; Analysis; Abstraction},
	pages		=	{1033--1052},
	numpages 	= 	{20},
	number		=	{8--9},
	volume		=	{33},	
	language	=	{English},
}

@phdthesis{Poi00a,
	school	=	{LaBRI -- Universit\'e Bordeaux~I},
	title	=	{{AltaRica: Contribution \`a l'unification des m\'ethodes formelles et de la s\^uret\'e de fonctionnement}},
	author	=	{G.~Point},
	month	=	{January},
	year	=	{2000},
	type	=	{Th\`ese de doctorat},
	pdfFile	=	{Point2000-PhDThesis.pdf}
}

@article{Rau02a,
	category	=	{InternationalJournal},
	publisher	=	{Elsevier},
	title		=	{{Modes Automata and their Compilation into Fault Trees}},
	journal		=	{Reliability Engineering and System Safety},
	author		=	{A.~Rauzy},
	abstractFile	=	{Rauzy2002-ModeAutomataCompilationIntoFaultTrees.html},
	number		=	{1},
	volume		=	{78},
	year		=	{2002},
	pages		=	{1--12},
	url		= 	{http://dx.doi.org/10.1016/S0951-8320(02)00042-X},
}


@incollection{Arnold:1990:MSC:88032.88133, 
	year		= {1990},
	isbn		= {978-3-540-52148-8},
	booktitle	= {Automatic Verification Methods for Finite State Systems},
	volume		= {407},
	series		= {Lecture Notes in Computer Science},
	editor		= {Sifakis, J.},
	doi		= {10.1007/3-540-52148-8_11},
	title		= {MEC: a system for constructing and analysing transition systems},
	url		= {http://dx.doi.org/10.1007/3-540-52148-8_11},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
	author		= {Arnold, A.},
	pages		= {117-132}
}



@article{Cassez2004,
 author = {Cassez, F. and Pagetti, C. and Roux, O.},
 title = {{A Timed Extension for AltaRica}},
 journal = {Fundamenta Informaticae},
 volume = {62},
 number = {3-4},
 month = {March},
 year = {2004},
 issn = {0169-2968},
 pages = {291--332},
 numpages = {42},
 url = {http://dl.acm.org/citation.cfm?id=1227052.1227054},
 acmid = {1227054},
 publisher = {IOS Press},
 address = {Amsterdam, The Netherlands, The Netherlands},
 keywords = {ALTARICA, semantics, timed automata},
} 


@inproceedings{ACD+10b,
	title		=	{{Toward a methodology for the AltaRica modelling of multi-physical systems}},
	booktitle	=	{Proceedings of European Safety and Reliability Conference, ESREL 2010},
	editor		=	{B. Ale and I. Papazoglou and E. Zio},
	author		=	{R.~Adeline and J.~Cardoso and P.~Darfeuil and S.~Humbert and C.~Seguin},
	year		=	{2010},
	month		=	{September},
	address		=	{Rhodes (Greece)},
	numpages 	= 	{8},
	pdfFile		=	{AdelineDarfeuilHumbertSeguinCardoso2010-TowardAMethodology.pdf}
}


@article{GLR06,
	publisher	=	{Professional Engineering Publishing},
	title	=	{{Assessment of Large Automatically Generated Fault Trees by means of Binary Decision Diagrams}},
	journal	=	{Journal of Risk and Reliability},
	author	=	{J.~Gauthier and X.~Leduc and A.~Rauzy},
	number	=	{2},
	volume	=	{221},
	year	=	{2007},
	pages	=	{95--105},
	pdfFile	=	{RauzyGauthierLeduc2007-AssessmentOfLargeFaultTreesWithBDD.pdf}
}

@inproceedings{DIK09,
	publisher	= {European Safety and Reliability Association},
	title		= {{Automating the synthesis of AltaRica Data-Flow models from SysML}},
	booktitle	= {Proceedings of European Safety and Reliability Conference, ESREL 2009},
	editor		= {Bris, R. and Guedes Soares, C. and Martorell, S.}, 
	author		= {P.~David and V.~Idasiak and F.~Kratz},
	year		= {2009},
	numpages 	= {8},
	address		= {Praha, Czech Republic}
}

@inproceedings{BCL+11,
	author       = {M.~Bozzano and A.~Cimatti and O.~Lisagor and C.~Mattarei and S.~Mover and M.~Roveri and S.~Tonetta},
	title        = {{Symbolic Model Checking and Safety Assessment of Altarica models}},
	booktitle    = {Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011)},
	publisher    = {Electronic Communications of the EASST},
	Volume       = 46,
	year         = 2011,
	issn = {1863-2122},
	url = {http://journal.ub.tu-berlin.de/eceasst/article/view/697},
}


%todo pages


%%-----------------------------------------------------------------------------
%% nuSMV

@article{Clarke2003,
 author = {Clarke, E. and Grumberg, O. and Jha, S. and Lu, Y. and Veith, H.},
 title = {{Counterexample-Guided Abstraction Refinement for Symbolic Model Checking}},
 journal = {Journal of the ACM},
 issue_date = {September 2003},
 volume = {50},
 number = {5},
 month = {September},
 year = {2003},
 issn = {0004-5411},
 pages = {752--794},
 numpages = {43},
 url = {http://dx.doi.org/10.1145/876638.876643},
 doi = {10.1145/876638.876643},
 acmid = {876643},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Abstraction, hardware verification, symbolic model checking, temporal logic},
} 

@inproceedings{Cimatti2010,
 author = {Cimatti, A. and Franzén, A. and Griggio, A. and Kalyanasundaram, K. and Roveri, M.},
 title = {{Tighter Integration of BDDs and SMT for Predicate Abstraction}},
 booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe},
 series = {DATE '10},
 year = {2010},
 isbn = {978-3-9810801-6-2},
 location = {Dresden, Germany},
 pages = {1707--1712},
 numpages = {6},
 acmid = {1871340},
 publisher = {European Design and Automation Association},
 address = {Leuven, Belgium},
} 
%geht nicht  url = {http://dx.doi.org/citation.cfm?id=1870926.1871340},

@INPROCEEDINGS{Cimatti2007,
	author={Cavada, R. and Cimatti, A. and Franzén, Anders and Kalyanasundaram, K. and Roveri, M. and Shyamasundar, R. K.},
	booktitle={Formal Methods in Computer Aided Design},
	series={FMCAD '07},
	title={{Computing Predicate Abstractions by Integrating BDDs and SMT Solvers}},
	year={2007},
	pages={69--76},
	keywords={Binary decision diagrams;Boolean functions;Concrete;Constraint theory;Data structures;Explosions;Flow graphs;Hardware design languages;Information analysis;Surface-mount technology},
	doi={10.1109/FAMCAD.2007.35},
	url={http://dx.doi.org/10.1109/FAMCAD.2007.35},
}




%%-----------------------------------------------------------------------------
%% hybrid Systems Chi-Language
@phdthesis{Man06formalspecification,
    author = {K. L. Man and R. R. H. Schiffelers},
    title = {{Formal Specification and Analysis of Hybrid Systems}},
    school = {Eindhoven University of Technology}, 
    address = {Eindoven, Netherlands},
    year = {2006}
}

%%-----------------------------------------------------------------------------
%% Reduction and Abstraction Techniques

@inproceedings{boudec2007gmf,
 author={Boudec, J.Y.L. and McDonald, D. and Mundinger, J.},
 title = {{A Generic Mean Field Convergence Result for Systems of Interacting Objects}},
 booktitle = {Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems},
 series = {QEST '07},
 year = {2007},
 isbn = {0-7695-2883-X},
 pages = {3--18},
 numpages = {16},
 url = {http://dx.doi.org/10.1109/QEST.2007.3},
 doi = {10.1109/QEST.2007.3},
 acmid = {1307204},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
} 


%%-----------------------------------------------------------------------------
%% Architecture Description Language
@ARTICLE{Malavolta2013,
 author={Malavolta, I. and Lago, P. and Muccini, H. and Pelliccione, P. and Tang, A.},
 journal={IEEE Transactions on Software Engineering},
 title={{What Industry Needs from Architectural Languages: A Survey}},
 year={2013},
 volume={39},
 number={6},
 pages={869--891},
 doi={10.1109/TSE.2012.74},
 url={http://dx.doi.org/10.1109/TSE.2012.74},
 ISSN={0098-5589},
}

%%-----------------------------------------------------------------------------
%% Definitions Reconfiguration 
@phdthesis{Hofmeister1993, 
 author = {Hofmeister, C. R.},
 title = {{Dynamic Reconfiguration of Distributed Applications}},
 year = {1993},
 school = {University of Maryland},
 publisher = {University of Maryland at College Park},
 address = {College Park, MD, USA},
} 
%%http://www.esu.edu/~chrish/index.html


%%-----------------------------------------------------------------------------
%% Standards, Norms, Frameworks


@misc{iso42010,
  author = {{ISO/IEC/(IEEE)}},
  month = {July},
  owner = {amit},
  pages = 23,
  publisher = {ISO/IEC/(IEEE)},
  revision = {First Edition},
  timestamp = {2010-02-26T07:51:18.000+0100},
  title = {{ISO/IEC 42010 (IEEE Std) 1471-2000 : Systems and Software engineering
	- Recomended practice for architectural description of software-intensive
	systems}},
  year = 2007
}

@misc{iec61508,
   author    = {{IEC}},
   title     = {{IEC 61508 Edition 2.0 -- Functional Safety of Electrical / Electronic / Programmble Electronic Safety-Related Systems}},
   year      = {2010},
   month     = {April},
}

@misc{uml23,
  added-at = {2010-09-23T17:22:46.000+0200},
  author = {{Object Management Group}},
  description = {OMG Document Number:  formal/2010-05-05},
  keywords = {jabref:noKeywordAssigned},
  month = {May},
  title = {{UML} 2.3 {S}uperstructure},
  url = {http://www.omg.org/spec/UML/2.3},
  year = 2010
}

@techreport{feiler06aadl-intro,
  author = {Feiler, P. H. and Gluch, D. P. and Hudak, J. J.},
  institution = {Software Engineering Institute, Carnegie Mellon University},
  number = {CMU/SEI-2006-TN-011},
  title = {{The Architecture Analysis \& Design Language ({AADL}): An Introduction}},
  url = {www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA455842},
  year = 2006,
}

@techreport{owls2004,
    author = {Martin, D. and Burstein, M. and Hobbs, E. and Lassila, O. and Mcdermott, D. and Mcilraith, S. and Narayanan, S. and Parsia, B. and Payne, T. and Sirin, E. and Srinivasan, N. and Sycara, K.},
    day = {22},
    month = {November},
    title = {{OWL-S: Semantic Markup for Web Services}},
    url = {http://www.w3.org/Submission/OWL-S/},
    year = {2004}, 
    institution = {W3C},
}

@book{SmWi2002-Perf_Solutions,
    author = {Smith, C. U. and Williams, L. G.},
    isbn = {0-201-72229-1},
    publisher = {Addison Wesley Longman Publishing Co., Inc.},
    address = {Redwood City, CA, USA},
    title = {{Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software}},
    year = {2002}
}

%%-----------------------------------------------------------------------------
%% Tools

@article{garavel2012, 
	year={2013},
	issn={1433-2779},
	journal={International Journal on Software Tools for Technology Transfer},
	volume={15},
	number={2},
	doi={10.1007/s10009-012-0244-z},
	title={{CADP 2011: A toolbox for the construction and analysis of distributed processes}},
	url={http://dx.doi.org/10.1007/s10009-012-0244-z},
	publisher={Springer},
	keywords={Asynchronous concurrency; Equivalence checking; Formal methods; Model checking; Performance evaluation; Process calculus; Verification},
	author = {Garavel, H. and Lang, F. and Mateescu, R. and Serwe, W.},
	pages={89--107},
	language={English}
}

@incollection{sharpe, 
	year		= {2000},
	isbn		= {978-3-540-67260-9},
	booktitle	= {Computer Performance Evaluation.Modelling Techniques and Tools},
	volume		= {1786},
	series		= {Lecture Notes in Computer Science},
	editor		= {Haverkort, BoudewijnR. and Bohnenkamp, HenrikC. and Smith, ConnieU.},
	doi		= {10.1007/3-540-46429-8_28},
	title		= {{Reliability and Performability Modeling Using {SHARPE} 2000}},
	url		= {http://dx.doi.org/10.1007/3-540-46429-8_28},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
	author		= {Hirel, C. and Sahner, R. and Zang, X. and Trivedi, K.},
	pages		= {345--349},
	language	= {English}
}

@incollection{kwiatkowska2002, 
	year		= {2002},
	isbn		= {978-3-540-43539-6},
	booktitle	= {Computer Performance Evaluation: Modelling Techniques and Tools},
	volume		= {2324},
	series		= {Lecture Notes in Computer Science},
	editor		= {T. Field and P. Harrison and J. Bradley and U. Harder},
	doi		= {10.1007/3-540-46029-2_13},
	title		= {{PRISM: Probabilistic Symbolic Model Checker}},
	url		= {http://dx.doi.org/10.1007/3-540-46029-2_13},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
	author		= {Kwiatkowska, Marta and Norman, Gethin and Parker, David},
	pages		= {200--204}
}

@inproceedings{moebius,
 author = {Clark, G. and Courtney, T. and Daly, D. and Deavours, D. and Derisavi, S. and Doyle, J. M. and Sanders, W. H. and Webster, P.},
 title = {{The Möbius Modeling Tool}},
 booktitle = {Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)},
 series = {PNPM '01},
 year = {2001},
 pages = {241--250},
 url = {http://dl.acm.org/citation.cfm?id=882474.883479},
 acmid = {883479},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
} 

@Article{uppaal,
  author = 	 {Behrmann, G. and David, A. and Larsen, K. G. and Pettersson, P. and Yi, W.},
  title = 	 {{Developing {\sc UPPAAL} over 15 Years}},
  journal = 	 {Software: Practice and Experience},
  year = 	 {2011},
  volume = 	 {41},
  number = 	 {2},
  pages = 	 {133--142},
  month = 	 {February}, 
  doi = {10.1002/spe.1006},
  url = {http://dx.doi.org/10.1002/spe.1006},
}

@incollection{mctau, 
	year		= {2012},
	isbn		= {978-3-642-31758-3},
	booktitle	= {Model Checking Software},
	volume		= {7385},
	series		= {Lecture Notes in Computer Science},
	editor		= {Donaldson, A. and Parker, D.},
	doi		= {10.1007/978-3-642-31759-0_16},
	title		= {{mctau: Bridging the Gap between Modest and UPPAAL}},
	url		= {http://dx.doi.org/10.1007/978-3-642-31759-0_16},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
	author		= {Bogdoll, J. and David, A. and Hartmanns, A. and Hermanns, A.},
	pages		= {227--233}
}

@incollection{modes, 
	year		= {2012},
	isbn		= {978-3-642-28539-4},
	booktitle	= {Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance},
	volume		= {7201},
	series		= {Lecture Notes in Computer Science},
	editor		= {Schmitt, J. B.},
	doi		= {10.1007/978-3-642-28540-0_20},
	title		= {{Simulation and Statistical Model Checking for Modestly Nondeterministic Models}},
	url		= {http://dx.doi.org/10.1007/978-3-642-28540-0_20},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
	author		= {J. Bogdoll and A. Hartmanns and H. Hermanns},
	pages		= {249--252}
}

@incollection{nuSMV, 
	year		= {2002},
	isbn		= {978-3-540-43997-4},
	booktitle	= {Computer Aided Verification},
	volume		= {2404},
	series		= {Lecture Notes in Computer Science},
	editor		= {Brinksma, E. and Larsen, K.},
	doi		= {10.1007/3-540-45657-0_29},
	title		= {{NuSMV 2: An OpenSource Tool for Symbolic Model Checking}},
	url		= {http://dx.doi.org/10.1007/3-540-45657-0_29},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
	author		= {Cimatti, A. and Clarke, E. M. and Giunchiglia, E. and Giunchiglia, F. and Pistore, M. and Roveri, M. and Sebastiani, R. and Tacchella, A.},
	pages		= {359--364},
	language	= {English}
}

@article{mrmc,
 title = {{The Ins and Outs of The Probabilistic Model Checker MRMC}},
 journal = "Performance Evaluation ",
 volume = "68",
 number = "2",
 pages = {90--104},
 year = "2011",
 note = "Advances in Quantitative Evaluation of Systems, QEST 2009",
 issn = "0166-5316",
 url = "http://dx.doi.org/10.1016/j.peva.2010.04.001",
 author = "J.-P. Katoen and I. S. Zapreev and E. M. Hahn and H. Hermanns and D. N. Jansen",
}

@article{Walter2008857,
	title = {{OpenSESAME - The Simple but Extensive, Structured Availability Modeling Environment}},
	journal = "Reliability Engineering \& System Safety ",
	volume = "93",
	number = "6",
	pages = {857--873},
	year = "2008",
	note = "",
	issn = "0951-8320",
	doi = "http://dx.doi.org/10.1016/j.ress.2007.03.034",
	sdurl = "http://www.sciencedirect.com/science/article/pii/S0951832007001226",
	url = "http://dx.doi.org/10.1016/j.ress.2007.03.034",
	author = "M. Walter and M. Siegle and A. Bode",
}


%%-----------------------------------------------------------------------------
%% Fiacre 
@inproceedings{berthomieu:inria-00262442,
    hal_id = {inria-00262442},
    url = {http://hal.inria.fr/inria-00262442},
    title = {{Fiacre: An Intermediate Language for Model Verification in the Topcased Environment}},
    author = {Berthomieu, B. and Bodeveix, J.-P. and Farail, P. and Filali, M. and Garavel, H. and Gaufillet, P. and Lang, F. and Vernadat, F.},
    affiliation = {Laboratoire d'analyse et d'architecture des syst{\`e}mes - LAAS , Institut de recherche en informatique de Toulouse - IRIT , Airbus France - Airbus , VASY - INRIA Grenoble Rh{\^o}ne-Alpes / LIG Laboratoire d'Informatique de Grenoble},
    booktitle = {{ERTS 2008}},
    address = {Toulouse, France},
    year = {2008},
    numpages = {8}, 
    pdf = {http://hal.inria.fr/inria-00262442/PDF/Berthomieu-Bodeveix-Farail-et-al-08.pdf},
}


%%-----------------------------------------------------------------------------
%% BDMP 
@article{Bouissou2003149,
 title = {{A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes}},
 journal = "Reliability Engineering \& System Safety ",
 volume = "82",
 number = "2",
 pages = {149--163},
 year = "2003",
 note = "",
 issn = "0951-8320",
 doi = "http://dx.doi.org/10.1016/S0951-8320(03)00143-1",
 sdurl = "http://www.sciencedirect.com/science/article/pii/S0951832003001431",
 url = {http://dx.doi.org/10.1016/S0951-8320(03)00143-1},
 author = "M. Bouissou and J.-L. Bon",
}

%%-----------------------------------------------------------------------------
%% Reduction Techniques 
@inproceedings{eemcs21805,
          eprintid = {21805},
             month = {April},
      official_url = {http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012/MarkTimmerAbstractConfluence.pdf},
            author = {H. {Hansen} and M. {Timmer}},
	       url = {http://doc.utwente.nl/80456/}, 
         numpages  = {4},
          keywords = {Confluence reduction, Partial-order reduction, Ample sets, Probabilistic branching time, Markov Decision Processes},
        pres_types = {Talk},
       ispublished = {Published},
              isbn = {not assigned},
           address = {Pisa},
         publisher = {Istituto di Scienza e Tecnologie dell'Informazione},
      howpublished = {http://eprints.eemcs.utwente.nl/21805/},
          location = {Tallinn, Estonia},
       event_dates = {31 March - 1 April 2012},
        event_type = {Workshop},
   research_groups = {EWI-FMT: Formal Methods and Tools},
         booktitle = {10th Workshop on Quantitative Aspects of Programming Languages (QAPL 2012), Tallinn, Estonia},
              year = {2012}, 
	     title = {{Why Confluence is More Powerful than Ample Sets in Probabilistic and Non-Probabilistic Branching Time}},
}

@book{partialorderreduction,
 author = {Godefroid, P.},
 title = {{Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem}},
 doi = {10.1007\%2F3-540-60761-7},
 url = {http://dx.doi.org/10.1007\%2F3-540-60761-7}, 
 year = {1996},
 isbn = {978-3-540-60761-8},
 publisher = {Springer},
 issn = {0302-9743}, 
}
% editor = {Leeuwen, J. van and Hartmanis, J. and Goos, G.},

@inproceedings{DBLP:conf/qest/DonaldsonMP09,
  author    = {A. F. Donaldson and A. Miller and D. Parker},
  title     = {{Language-Level Symmetry Reduction for Probabilistic Model Checking}},
  booktitle = {Proceedings of the Sixth International Conference on the Quantitative Evaluation of Systems}, 
  location  = {Budapest, Hungary}, 
  month     = {September},
  year      = {2009},
  pages     = {289--298},
  doi	    = {10.1109/QEST.2009.21}, 
  url       = {http://dx.doi.org/10.1109/QEST.2009.21},
}

@INPROCEEDINGS{RPNdA08,
	author={Roy, P. and Parker, D. and Norman, G. and de Alfaro, L.},
	booktitle={Quantitative Evaluation of Systems, 2008. QEST '08. Fifth International Conference on},
	title={{Symbolic Magnifying Lens Abstraction in Markov Decision Processes}},
	year={2008},
	pages={103--112},
	doi={10.1109/QEST.2008.41},
	url={http://dx.doi.org/10.1109/QEST.2008.41},
}

@incollection{Alfaro2007,
	year={2007},
	isbn={978-3-540-73367-6},
	booktitle={Computer Aided Verification},
	volume={4590},
	series={Lecture Notes in Computer Science},
	editor={Damm, W. and Hermanns, H.},
	doi={10.1007/978-3-540-73368-3_38},
	title={{Magnifying-Lens Abstraction for Markov Decision Processes}},
	url={http://dx.doi.org/10.1007/978-3-540-73368-3_38},
	publisher={Springer},
	author={Alfaro, L. and Roy, P.},
	pages={325--338}
}

@incollection{Alur2003, 
	year		= {2003},
	isbn		= {978-3-540-00913-9},
	booktitle	= {Hybrid Systems: Computation and Control},
	volume		= {2623},
	series		= {Lecture Notes in Computer Science},
	editor		= {Maler, O. and Pnueli, A.},
	doi		= {10.1007/3-540-36580-X_4},
	title		= {{Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction}},
	url		= {http://dx.doi.org/10.1007/3-540-36580-X_4},
	publisher	= {Springer Berlin Heidelberg},
	author		= {Alur, R. and Dang, T. and Ivan\v{c}ic, F.},
	pages		= {4--19},
	language	= {English}
}

@article{Lynch2003,
 author = {Lynch, N. and Segala, R. and Vaandrager, F.},
 title = {{Hybrid I/O Automata}},
 journal = {Information and Computation},
 issue_date = {August 25, 2003},
 volume = {185},
 number = {1},
 month = {August},
 year = {2003},
 issn = {0890-5401},
 pages = {105--157},
 numpages = {53},
 url = {http://dx.doi.org/10.1016/S0890-5401(03)00067-1},
 doi = {10.1016/S0890-5401(03)00067-1},
 acmid = {942115},
 publisher = {Academic Press, Inc.},
 address = {Duluth, MN, USA},
} 


@phdthesis{phdthesis/Pulungan09,
 title = {{Reduction of Acyclic Phase-Type Representations}},
 year = {2009},
 author = {R. Pulungan},
 school = {Universität des Saarlandes},
 address = {Saarbrücken, Germany}
} 

@incollection{spa, 
	year		= {2007},
	isbn		= {978-3-540-72482-7},
	booktitle	= {Formal Methods for Performance Evaluation},
	volume		= {4486},
	series		= {Lecture Notes in Computer Science},
	editor		= {Bernardo, M. and Hillston, J.},
	doi		= {10.1007/978-3-540-72522-0_4},
	title		= {{Stochastic Process Algebras}},
	url		= {http://dx.doi.org/10.1007/978-3-540-72522-0_4},
 	publisher	= {Springer},
	adress		= {Berlin, Heidelberg},
	author		= {Clark, A. and Gilmore, S. and Hillston, J. and Tribastone, M.},
	pages		= {132--179}
	}


%%-----------------------------------------------------------------------------
%% models
@incollection{bouissou:04,
	AUTHOR		= {M. Bouissou and Y. Dutuit and S. Maillard},
	TITLE		= {{Reliability Analysis of a Dynamic Phased Mission System: Comparison of Two Approaches}},
	YEAR		= {2005},
	Publisher	= {World Scientific Publishing Company},
	BOOKTITLE	= {Modern Statistical and Mathematical Methods in Reliability},
	series		= {Quality, Reliability and Engineering Statistics},
	volume		= {10},
	pages		= {87--104},
}

%%-----------------------------------------------------------------------------
%% web references
@misc{eclipse:xtext,
    author = {{Eclipse Foundation Inc.}},
    title = {{Xtext}},
    year = {2013},
    url = {http://www.eclipse.org/Xtext},
    note = {[Online; accessed 3-May-2013]},
}

@misc{eclipse:emf,
    author = {{Eclipse Foundation Inc.}},
    title = {{Eclipse Modeling Framework Project}},
    year = {2013},
    url = {http://www.eclipse.org/modeling/emf/},
    note = {[Online; accessed 10-Oktober-2013]},
}

@Misc{eclipse:swt,
	author = {{Standard Widget Toolkit}},
	url = {http://www.eclipse.org/swt/},
	year = {2013},
	note = {[Online; accessed 3-September-2013]},
}

@misc{GraphViz,
  author = {{AT\&T Research}},
  title = {{Graph Visualization Software}},
  url  = {http://www.graphviz.org},
  note = {[Online; accessed 3-September-2013]},
  year = {2007}
}

@Misc{eclipse:gef,
	author = {{Graphical Editing Framework}},
	url = {http://www.eclipse.org/gef/},
	year = {2013},
	note = {[Online; accessed 3-September-2013]},
} 

@Misc{eclipse:gmp,
	author = {{Graphical Modeling Project}},
	url = {http://www.eclipse.org/modeling/gmp/},
	year = {2013},
	note = {[Online; accessed 10-September-2013]},
}
 
@misc{eclipse:epsilon,
    author = {{Eclipse Foundation}},
    title = {{Epsilon}},
    year = {2013},
    url = {http://www.eclipse.org/epsilon},
    note = {[Online; accessed 10-September-2013]},
}

@misc{svg,
	author = {W3C},
	Title = {{Scalable Vector Graphics (SVG)}},
	Year = {2013},
	url = {http://www.w3.org/Graphics/SVG/},
	note = {[Online; accessed 3-September-2013]},
}

@misc{jfree,
	author = {{JFree}},
	Year = {2013},
	url = {http://www.jfree.org/},
	note = {[Online; accessed 4-September-2013]}
}

@misc{akka,
  author = {{Typesafe Inc.}},
  title = {{The Akka Toolkit}},
  year = {2013},
  url = {http://akka.io/},
  note = {[Online; accessed 4-September-2013]},
}

@misc{eclipse:graphiti,
  author = {{Eclipse Foundation}},
  title = {{Graphiti -- A Graphical Tooling Infrastructure}},
  year = {2013},
  url = {http://www.eclipse.org/graphiti/},
  note = {[Online; accessed 4-September-2013]},
}

@misc{lares_website,
  author = {{Design of Computer and Communication Systems Group (Inf 3) UniBw}},
  title = {{LARES Website}},
  year = {2013},
  url = {http://rocks.w3.rz.unibw-muenchen.de},
}

@misc{scala:specs2, 
   author = {Eric Torreborre},
   title = {{$specs^2$ -- Software Specifications for Scala}},
   year = {2013},
   url = {http://specs2.org},
   note = {[Online; accessed 13-December-2011]},
}

@misc{wiki:lares,
   author = {Wikipedia},
   title = {{Lares -- Wikipedia{,} The Free Encyclopedia}},
   year = {2011},
   url = {http://en.wikipedia.org/w/index.php?title=Lares&oldid=463655702},
   note = {[Online; accessed 13-December-2011]},
 }

@misc{aadl:website,
   author = {{Society of Automotive Engineers (SAE)}},
   title = {{The SAE Architecture Analysis and Design Language (AADL) standard}},
   url = {http://www.aadl.info/},
   note = {[Online; accessed 27-January-2014]},
 }

@misc{sysml:website,
	author = {{Object Management Group}},
	keywords = {D3.1,SysML},
	mendeley-tags = {D3.1,SysML},
	title = {{OMG Systems Modeling Language (OMG SysML\textsuperscript{TM})}},
	url = {www.omgsysml.org},
	year = {2012}
}