@inproceedings{4c98efc1cc9e437cba6b127b4d0eccd3,
title = "M{\"o}bius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models",
abstract = "M{\"o}bius 2.3 is an extensible dependability, security, and performance modeling environment for large-scale discrete-event systems. It provides multiple model formalisms and solution techniques, facilitating the representation of each part of a system in the formalism that is most appropriate for it, and the application of the solution method or methods best-suited to estimating the system's behavior. Since its initial release in 2001, many advances have been made in M{\"o}bius's design and implementation that have strengthened its place in the modeling and analysis community. With almost a decade of widespread academic and industrial use, M{\"o}bius has proven itself to be useful in a wide variety of modeling situations. This paper documents the current feature set of M{\"o}bius 2.3, emphasizing recent significant enhancements.",
author = "Tod Courtney and Shravan Gaonkar and Ken Keefe and Rozier, {Eric W.D.} and Sanders, {William H.}",
year = "2009",
doi = "10.1109/DSN.2009.5270318",
language = "English (US)",
isbn = "9781424444212",
series = "Proceedings of the International Conference on Dependable Systems and Networks",
pages = "353--358",
booktitle = "Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009",
note = "2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009 ; Conference date: 29-06-2009 Through 02-07-2009",
}