{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:19:52Z","timestamp":1725794392379},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662436127"},{"type":"electronic","value":"9783662436134"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-662-43613-4_6","type":"book-chapter","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T03:56:40Z","timestamp":1400558200000},"page":"84-99","source":"Crossref","is-referenced-by-count":6,"title":["A Model-Based Certification Framework for the EnergyBus Standard"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Graf-Brill","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hubert","family":"Garavel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Vetter, M., Rohr, L., Ortiz, B., Schies, A., Schwunk, S., Wachtel, J.: Dezentrale netzgekoppelte PV-Batteriesysteme. In: VDI-Konferenz Elektrische Energiespeicher \u2013 Station\u00e4re Anwendungen und Industriebatterien, pp. 101\u2013112 (2011)"},{"key":"6_CR2","unstructured":"CAN in Automation International Users and Manufacturers Group e.V., EnergyBus e. V.: CiA 454 Work Draft Application profile for energy management systems \u2013 Document series 1 to 14, v. 1.0.6 (2012)"},{"key":"6_CR3","unstructured":"Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., Lang, F., McKinty, C., Powazny, V., Serwe, W., Smeding, G.: Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.8). Technical report, INRIA\/VASY and INRIA\/CONVECS (2013)"},{"key":"6_CR4","unstructured":"ISO\/IEC: LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807 (1989)"},{"key":"6_CR5","unstructured":"ISO\/IEC: Enhancements to LOTOS (E-LOTOS). International Standard 15437:2001 (2001)"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10009-012-0244-z","volume":"15","author":"H. Garavel","year":"2013","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. Software Tools for Technology Transfer (STTT)\u00a015, 89\u2013107 (2013)","journal-title":"Software Tools for Technology Transfer (STTT)"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C. Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: Theory, Principles, and Algorithms. Software Tools for Technology Transfer (STTT)\u00a07, 297\u2013315 (2005)","journal-title":"Software Tools for Technology Transfer (STTT)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J. Tretmans","year":"2008","unstructured":"Tretmans, J.: Model-based Testing with Labelled Transition Systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 1\u201338. Springer, Heidelberg (2008)"},{"key":"6_CR9","unstructured":"CAN in Automation International Users and Manufacturers Group e.V.: CiA 301 CANopen Application Layer and Communication Profile, v. 4.2.0 (2011)"},{"key":"6_CR10","unstructured":"CAN in Automation International Users and Manufacturers Group e.V.: CiA 305 Layer setting services (LSS) and protocols, v. 3.0.0 (2013)"},{"key":"6_CR11","unstructured":"CAN in Automation International Users and Manufacturers Group e.V., EnergyBus e. V.: CiA 454 Work Draft Application profile for energy management systems \u2013 Part 3: PDO communication, v. 1.0.2 (2012)"},{"key":"6_CR12","unstructured":"Graf-Brill, A.: Model-based Testing Approaches for the EnergyBus. Reports of SFB\/TR 14 AVACS\u00a096, SFB\/TR 14 AVACS (2014) ISSN: 1860\u20139821, http:\/\/www.avacs.org"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Model-Based Testing of Reactive Systems","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol.\u00a03472. Springer, Heidelberg (2005)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-24617-6_7","volume-title":"Formal Approaches to Software Testing","author":"M. Bijl van der","year":"2004","unstructured":"van der Bijl, M., Rensink, A., Tretmans, J.: Compositional Testing with ioco. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 86\u2013100. Springer, Heidelberg (2004)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","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\/C\u00c6SAR: An Open Software Architecture for Verification, Simulation, and Testing. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 68\u201384. Springer, Heidelberg (1998)"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.entcs.2004.02.086","volume":"116","author":"W. Prenninger","year":"2005","unstructured":"Prenninger, W., Pretschner, A.: Abstractions for Model-Based Testing \u2013 Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004). Electronic Notes in Theoretical Computer Science\u00a0116, 59\u201371 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"6_CR17","unstructured":"van der Bijl, H.M., Rensink, A., Tretmans, G.J.: Atomic Action Refinement in Model Based Testing. Technical Report TR-CTIT-07-64, Centre for Telematics and Information Technology University of Twente, Enschede (2007)"},{"key":"6_CR18","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1007\/s100090100044","volume":"3","author":"H. Garavel","year":"2001","unstructured":"Garavel, H., Viho, C., Zendri, M.: System Design of a CC-NUMA Multiprocessor Architecture Using Formal Specification, Model Checking, Co-simulation, and Test Generation. Software Tools for Technology Transfer (STTT)\u00a03, 314\u2013331 (2001)","journal-title":"Software Tools for Technology Transfer (STTT)"},{"key":"6_CR19","unstructured":"Tretmans, J., Brinksma, E.: TorX: Automated Model Based Testing \u2013 C\u00f4te de Resyste (2003)"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-78917-8_3","volume-title":"Formal Methods and Testing","author":"A. Hessel","year":"2008","unstructured":"Hessel, A., Larsen, K., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing Real-Time Systems Using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 77\u2013117. Springer, Heidelberg (2008)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Bringmann, E., Kr\u00e4mer, A.: Model-Based Testing of Automotive Systems. In: ICST, pp. 485\u2013493. IEEE Computer Society (2008)","DOI":"10.1109\/ICST.2008.45"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-15898-8_9","volume-title":"Formal Methods for Industrial Critical Systems","author":"M. Gerke","year":"2010","unstructured":"Gerke, M., Ehlers, R., Finkbeiner, B., Peter, H.J.: Model Checking the FlexRay Physical Layer Protocol. In: Kowalewski, S., Roveri, M. (eds.) FMICS 2010. LNCS, vol.\u00a06371, pp. 132\u2013147. Springer, Heidelberg (2010)"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/3-540-45739-9_7","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J. Rushby","year":"2002","unstructured":"Rushby, J.: An Overview of Formal Verification for the Time-Triggered Architecture. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 83\u2013106. Springer, Heidelberg (2002)"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Milbredt, P., Vermeulen, B., Tabanoglu, G., Lukasiewycz, M.: Switched FlexRay: Increasing the Effective Bandwidth and Safety of FlexRay Networks. In: Emerging Technologies and Factory Automation (ETFA), pp. 1\u20138. IEEE (2010)","DOI":"10.1109\/ETFA.2010.5641268"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-642-33678-2_8","volume-title":"SAFECOMP 2012","author":"J. Krause","year":"2012","unstructured":"Krause, J., Hintze, E., Magnus, S., Diedrich, C.: Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol.\u00a07612, pp. 87\u201398. Springer, Heidelberg (2012)"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Goswami, D., Lukasiewycz, M., Kauer, M., Steinhorst, S., Masrur, A., Chakraborty, S., Ramesh, S.: Model-based Development and Verification of Control Software for Electric Vehicles. In: Proceedings of the 50th Annual Design Automation Conference (DAC 2013), Austin, Texas, USA, pp. 96:1\u201396:9. ACM (2013)","DOI":"10.1145\/2463209.2488853"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/978-3-642-34026-0_31","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"A. Hartmanns","year":"2012","unstructured":"Hartmanns, A., Hermanns, H.: Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 420\u2013439. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43613-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,19]],"date-time":"2020-08-19T13:00:13Z","timestamp":1597842013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43613-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662436127","9783662436134"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43613-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}