{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:52:16Z","timestamp":1725511936963},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540712084"},{"type":"electronic","value":"9783540712091"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71209-1_38","type":"book-chapter","created":{"date-parts":[[2007,7,4]],"date-time":"2007-07-04T18:56:34Z","timestamp":1183575394000},"page":"500-504","source":"Crossref","is-referenced-by-count":10,"title":["motor:The modest Tool Environment"],"prefix":"10.1007","author":[{"given":"Henrik","family":"Bohnenkamp","sequence":"first","affiliation":[]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","first-page":"457","volume-title":"Proc. FORTE\/PSTV 1998","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., et al.: TwoTowers: A tool integrating functional and performance analysis of concurrent systems. In: Proc. FORTE\/PSTV 1998, pp. 457\u2013467. Kluwer Academic Publishers, Dordrecht (1998)"},{"issue":"10","key":"38_CR2","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/TSE.2006.104","volume":"32","author":"H. Bohnenkamp","year":"2006","unstructured":"Bohnenkamp, H., et al.: Modest: A compositional modeling formalism for real-time and stochastic systems. IEEE Trans. Soft. Eng.\u00a032(10), 812\u2013830 (2006)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"38_CR3","first-page":"704","volume-title":"Proc. DSN 2005","author":"H. Bohnenkamp","year":"2005","unstructured":"Bohnenkamp, H., et al.: Are you still there? \u2014 A lightweight algorithm to monitor node presence in self-configuring networks. In: Proc. DSN 2005, June 2005, pp. 704\u2013709. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"38_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Performance Evaluations. Modelling Techniques and Tools","author":"H. Bohnenkamp","year":"2003","unstructured":"Bohnenkamp, H., et al.: The MoDeST modeling tool and its implementation. In: Kemper, P., Sanders, W.H. (eds.) TOOLS 2003. LNCS, vol.\u00a02794, Springer, Heidelberg (2003)"},{"key":"38_CR5","volume-title":"Proc.\u00a0QEST \u201904","author":"H. Bohnenkamp","year":"2004","unstructured":"Bohnenkamp, H., et al.: Synthesis and stochastic assessment of schedules for lacquer production. In: Proc.\u00a0QEST \u201904, IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"Cavin, D., Sasson, Y., Schiper, A.: On the accuracy of MANET simulators. In: ACM Workshop On Principles Of Mobile Computing, pp. 38\u201343 (2002)","DOI":"10.1145\/584498.584499"},{"key":"38_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46429-8_25","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"D. Daly","year":"2000","unstructured":"Daly, D., et al.: M\u00f6bius: An extensible tool for performance and dependability modeling. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, Springer, Heidelberg (2000)"},{"key":"38_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2005.07.001","volume":"203","author":"P.R. D\u2019Argenio","year":"2005","unstructured":"D\u2019Argenio, P.R., Katoen, J.-P.: A theory of stochastic systems. Part I. Stochastic automata. Inf. & Comp.\u00a0203, 1\u201338 (2005)","journal-title":"Inf. & Comp."},{"key":"38_CR9","first-page":"124","volume-title":"Proceedings PNPM \u201999","author":"D.D. Deavours","year":"1999","unstructured":"Deavours, D.D., Sanders, W.H.: An efficient well-specified check. In: Proceedings PNPM \u201999, pp. 124\u2013133. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"38_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054165","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Garavel","year":"1998","unstructured":"Garavel, H.: OPEN\/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing. In: Steffen, B. (ed.) ETAPS 1998 and TACAS 1998. LNCS, vol.\u00a01384, Springer, Heidelberg (1998)"},{"key":"38_CR11","volume-title":"Proc.\u00a0WOSP\u00a0\u201905","author":"H. Hermanns","year":"2005","unstructured":"Hermanns, H., Jansen, D.N., Usenko, Y.S.: From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. In: Proc.\u00a0WOSP\u00a0\u201905, ACM Press, New York (2005)"},{"key":"38_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46002-0_5","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM. In: Katoen, J.-P., Stevens, P. (eds.) ETAPS 2002 and TACAS 2002. LNCS, vol.\u00a02280, Springer, Heidelberg (2002)"},{"issue":"1\u20132","key":"38_CR13","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer\u00a01(1\u20132), 134\u2013152 (1997)","journal-title":"Int. Journal on Software Tools for Technology Transfer"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71209-1_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T19:48:20Z","timestamp":1558468100000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71209-1_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540712084","9783540712091"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71209-1_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}