{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T04:30:46Z","timestamp":1770352246385,"version":"3.49.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319471686","type":"print"},{"value":"9783319471693","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_23","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"315-330","source":"Crossref","is-referenced-by-count":8,"title":["Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach"],"prefix":"10.1007","author":[{"given":"Davide","family":"Basile","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felicita","family":"Di Giandomenico","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"issue":"2","key":"23_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-72522-0_3","volume-title":"Formal Methods for Performance Evaluation","author":"G Balbo","year":"2007","unstructured":"Balbo, G.: Introduction to generalized stochastic petri nets. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 83\u2013131. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-72522-0_3"},{"key":"23_CR3","unstructured":"Basile, D., Chiaradonna, S., Giandomenico, F.D., Gnesi, S.: A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. J. Rail Transp. Plan. Manag. (2016). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S2210970616300051"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-319-23129-7_7","volume-title":"Software Engineering for Resilient Systems","author":"D Basile","year":"2015","unstructured":"Basile, D., Chiaradonna, S., Giandomenico, F., Gnesi, S., Mazzanti, F.: Stochastic model-based analysis of energy consumption in a rail road switch heating system. In: Fantechi, A., Pelliccione, P. (eds.) SERENE 2015. LNCS, vol. 9274, pp. 82\u201398. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-23129-7_7"},{"issue":"2","key":"23_CR5","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/288197.581194","volume":"26","author":"F Bause","year":"1998","unstructured":"Bause, F., Kritzinger, P.S.: Stochastic petri nets: an introduction to the theory. SIGMETRICS Perform. Eval. Rev. 26(2), 2\u20133 (1998)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"23_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-39512-3","volume-title":"Model-Driven Dependability Assessment of Software Systems","author":"S Bernardi","year":"2013","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: Model-Driven Dependability Assessment of Software Systems. Springer, Heidelberg (2013)"},{"key":"23_CR7","unstructured":"Brodowski, D., Komosa, K.: A railroad switch and a method of melting snow and ice in rail road switches (2013). https:\/\/data.epo.org\/publication-server\/rest\/v1.0\/publication-dates\/20131225\/patents\/EP2677079NWA1\/document.html"},{"key":"23_CR8","unstructured":"https:\/\/en.wikipedia.org\/wiki\/Carlisle_railway_station"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Clark, G., Courtney, T., Daly, D., Deavours, D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.: The m\u00f6bius modeling tool. In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, pp. 241\u2013250 (2001)","DOI":"10.1109\/PNPM.2001.953373"},{"issue":"1\u20132","key":"23_CR10","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1023\/A:1008330914786","volume":"11","author":"R David","year":"2001","unstructured":"David, R., Alla, H.: On hybrid petri nets. Discrete Event Dyn. Syst. 11(1\u20132), 9\u201340 (2001)","journal-title":"Discrete Event Dyn. Syst."},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-40894-6_15","volume-title":"Software Engineering for Resilient Systems","author":"F Giandomenico Di","year":"2013","unstructured":"Di Giandomenico, F., Fantechi, A., Gnesi, S., Itria, M.L.: Stochastic model-based analysis of railway operation to support traffic planning. In: Gorbenko, A., Romanovsky, A., Kharchenko, V. (eds.) SERENE 2013. LNCS, vol. 8166, pp. 184\u2013198. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40894-6_15"},{"key":"23_CR12","unstructured":"Diab, H.B., Zomaya, A.Y.: Dependable Computing Systems: Paradigms, Performance Issues and Applications. Wiley (2005)"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Erbes, T., Shukla, S.K., Kachroo, P.: Stochastic learning feedback hybrid automata for dynamic power management in embedded systems. In: SMCia\/05, IEEE Mid-Summer Workshop on Soft Computing in Industrial Applications, June 2005","DOI":"10.1109\/SMCIA.2005.1466974"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Ghasemieh, H., Haverkort, B.R., Jongerden, M.R., Remke, A.: Energy resilience modelling for smart houses. In: 45th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2015, pp. 275\u2013286. IEEE (2015)","DOI":"10.1109\/DSN.2015.31"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-319-10702-8_8","volume-title":"Formal Methods for Industrial Critical Systems","author":"F Mazzanti","year":"2014","unstructured":"Mazzanti, F., Spagnolo, G.O., Longa, S., Ferrari, A.: Deadlock avoidance in train scheduling: a model checking approach. In: Lang, F., Flammini, F. (eds.) FMICS 2014. LNCS, vol. 8718, pp. 109\u2013123. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-10702-8_8"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Qiu, Q., Wu, Q., Pedram, M.: Dynamic power management of complex systems using generalized stochastic petri nets. In: DAC, pp. 352\u2013356 (2000)","DOI":"10.1145\/337292.337438"},{"key":"23_CR17","unstructured":"http:\/\/www.railsco.com\/~electric_switch_heater_controls.htm . Accessed on June 2016"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/3-540-44667-2_9","volume-title":"Lectures on Formal Methods and PerformanceAnalysis","author":"WH Sanders","year":"2001","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic activity networks: formal definitions and concepts. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000. LNCS, vol. 2090, pp. 315\u2013343. Springer, Heidelberg (2001). doi: 10.1007\/3-540-44667-2_9"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Karlin, H.M.T. (ed.) An Introduction to Stochastic Modeling (Revised Edition), p. iii. Academic Press, revised edn. (1994). http:\/\/www.sciencedirect.com\/science\/article\/pii\/B978012684885450001X","DOI":"10.1016\/B978-0-12-684885-4.50001-X"},{"key":"23_CR20","unstructured":"Trivedi, K.S.: Probability & Statistics With Reliability, Queuing and Computer Science Applications. Wiley (2008)"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-662-45231-8_6","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"A \u010cau\u0161evi\u0107","year":"2014","unstructured":"\u010cau\u0161evi\u0107, A., Seceleanu, C., Pettersson, P.: Distributed energy management case study: a formal approach to analyzing utility functions. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 74\u201387. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-45231-8_6"},{"key":"23_CR22","unstructured":"https:\/\/weatherspark.com\/#!graphs;ws=27985 . Accessed on March 2016"},{"key":"23_CR23","unstructured":"Zhu, D., Melhem, R., Moss\u00e8, D.: The effects of energy management on reliability in real-time embedded systems. In: IEEE\/ACM International Conference on Computer Aided Design, ICCAD 2004, pp. 35\u201340, November 2004"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:21:56Z","timestamp":1498335716000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}