{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:17Z","timestamp":1750306277604,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,3,4]],"date-time":"2016-03-04T00:00:00Z","timestamp":1457049600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,3,4]]},"DOI":"10.1145\/2905055.2905162","type":"proceedings-article","created":{"date-parts":[[2016,8,29]],"date-time":"2016-08-29T12:17:16Z","timestamp":1472473036000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Rigorous Framework for Verification & Validation of Dynamic Aspect of Safety Critical System"],"prefix":"10.1145","author":[{"given":"Monika","family":"Singh","sequence":"first","affiliation":[{"name":"Mody University of Science and Technology, Lakshmangarh, Rajasthan, India"}]},{"given":"Ashok Kumar","family":"Sharma","sequence":"additional","affiliation":[{"name":"Mody University of Science and Technology, Lakshmangarh, Rajasthan, India"}]},{"given":"Ruhi","family":"Saxena","sequence":"additional","affiliation":[{"name":"Thapar University, Patiala, Punjab, India"}]}],"member":"320","published-online":{"date-parts":[[2016,3,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Rumbaugh I. Jacobson and G. Booch 2006 The Unified Modeling Language Reference Manual Second Edition Rumbaugh I. Jacobson and G. Booch 2006 The Unified Modeling Language Reference Manual Second Edition"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSA.2007.2"},{"key":"e_1_3_2_1_3_1","first-page":"288","volume-title":"Learning UML 2.0","author":"Miles R.","unstructured":"R. Miles and K. Hamilton 2006. Learning UML 2.0 1 st Edition, O'Reilly Media , Sebastopol , pp 288 . R. Miles and K. Hamilton 2006. Learning UML 2.0 1st Edition, O'Reilly Media, Sebastopol, pp 288.","edition":"1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.03.017"},{"key":"e_1_3_2_1_5_1","volume-title":"Clachar","author":"Grant S.","year":"2012","unstructured":"Emanuel S. Grant , Vanessa K. Jackson , and Sophine A . Clachar 2012 . Towards a Formal Approach to Validating and Verifying Functional Design for Complex Safety Critical Systems. GSTF Journal on Computing (JoC) Vol . 2 No 1. Emanuel S. Grant, Vanessa K. Jackson, and Sophine A. Clachar 2012. Towards a Formal Approach to Validating and Verifying Functional Design for Complex Safety Critical Systems. GSTF Journal on Computing (JoC) Vol. 2 No 1."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.11.004"},{"key":"e_1_3_2_1_7_1","first-page":"9","volume-title":"Proceedings of the Doctoral Symposium of Formal Methods","year":"2015","unstructured":"Mohamed Mahdi Benmoussa 2015 . Real-time systems modelling with UML state machines and coloured Petri nets . In Proceedings of the Doctoral Symposium of Formal Methods pp 9 -- 14 . Mohamed Mahdi Benmoussa 2015. Real-time systems modelling with UML state machines and coloured Petri nets. In Proceedings of the Doctoral Symposium of Formal Methods pp 9--14."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647397.724551"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1342211.1342248"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/647541.730149"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"N. Yang H. Yu H. Sun and Z. Qian. 2010. Modeling UML Sequence Diagrams using Extended Petri Nets. Int'l Conference on Information Science & Application pp. 1--8.  N. Yang H. Yu H. Sun and Z. Qian. 2010. Modeling UML Sequence Diagrams using Extended Petri Nets. Int'l Conference on Information Science & Application pp. 1--8.","DOI":"10.1109\/ICISA.2010.5480384"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.3923\/itj.2012.301.306"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ADCOM.2007.49"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2008.42"},{"key":"e_1_3_2_1_15_1","first-page":"438","volume-title":"IEEE Multi-topic Conference (INMIC'06)","author":"Zafar N. A.","year":"2006","unstructured":"N. A. Zafar , Modeling and Formal Specification of Automated Train Control System using Z Notation , IEEE Multi-topic Conference (INMIC'06) , pp. 438 -- 443 , 2006 . N. A. Zafar, Modeling and Formal Specification of Automated Train Control System using Z Notation, IEEE Multi-topic Conference (INMIC'06), pp. 438--43, 2006."},{"key":"e_1_3_2_1_16_1","unstructured":"N. A. Zafar S. A. Khan and K. Araki 2012. Towards Safety Properties of Moving Block Railway Interlocking System. Int'l Journal of Innovative Computing Information & Control.  N. A. Zafar S. A. Khan and K. Araki 2012. Towards Safety Properties of Moving Block Railway Interlocking System. Int'l Journal of Innovative Computing Information & Control."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCMS.2009.83"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2005.70"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/580763.785769"},{"key":"e_1_3_2_1_20_1","first-page":"162","volume-title":"Formalizing UML Behavioral Diagrams with B. The Tenth OOPSLA Workshop on Behavioral Semantics: Back to Basics, Tampa Bay","author":"Ledang H.","year":"2001","unstructured":"H. Ledang and J. Souqui\u00e8res 2001 . Formalizing UML Behavioral Diagrams with B. The Tenth OOPSLA Workshop on Behavioral Semantics: Back to Basics, Tampa Bay , Florida (USA), October 15, Notheastern University Press , pp. 162 -- 171 . H. Ledang and J. Souqui\u00e8res 2001. Formalizing UML Behavioral Diagrams with B. The Tenth OOPSLA Workshop on Behavioral Semantics: Back to Basics, Tampa Bay, Florida (USA), October 15, Notheastern University Press, pp. 162--171."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-73210-5","volume-title":"Integrated Formal Methods (IFM","author":"Davies J.","year":"2007","unstructured":"J. Davies , J. Gibbons 2007. Integrated Formal Methods (IFM 2007 ), Oxford, UK , Springer-Verlag . J. Davies, J. Gibbons 2007. Integrated Formal Methods (IFM 2007), Oxford, UK, Springer-Verlag."},{"key":"e_1_3_2_1_22_1","volume-title":"v. d. Pol","author":"Romijn J.","year":"2005","unstructured":"J. Romijn , G. Smith , J. v. d. Pol 2005 . Integrated Formal Methods (IFM 2005), Netherlands, Springer . J. Romijn, G. Smith, J. v. d. Pol 2005. Integrated Formal Methods (IFM 2005), Netherlands, Springer."},{"volume-title":"Integrated Formal Methods (IFM 99)","author":"Araki K.","key":"e_1_3_2_1_23_1","unstructured":"K. Araki , A. Galloway , K. Taguchi 1999. Integrated Formal Methods (IFM 99) , York, UK , Springer-Verlag . K. Araki, A. Galloway, K. Taguchi 1999. Integrated Formal Methods (IFM 99), York, UK, Springer-Verlag."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-47884-1","volume-title":"Integrated Formal Methods (IFM","author":"Butler M.","year":"2002","unstructured":"M. Butler , L. Petre , K. Sere 2002. Integrated Formal Methods (IFM 2002 ), Turku, Finland , Springer-Verlag . M. Butler, L. Petre, K. Sere 2002. Integrated Formal Methods (IFM 2002), Turku, Finland, Springer-Verlag."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"W. Grieskamp T. Santen B. Stoddart \"Integrated Formal Methods (IFM 2000) \" Germany Springer-Verlag.   W. Grieskamp T. Santen B. Stoddart \"Integrated Formal Methods (IFM 2000) \" Germany Springer-Verlag.","DOI":"10.1007\/3-540-40911-4"},{"volume-title":"The Z Notation: A Reference Manual","author":"Spivey J. M.","key":"e_1_3_2_1_26_1","unstructured":"J. M. Spivey , 1989. The Z Notation: A Reference Manual . Prentice-Hall , Englewood Cliffs . J. M. Spivey, 1989. The Z Notation: A Reference Manual. Prentice-Hall, Englewood Cliffs."},{"key":"e_1_3_2_1_27_1","series-title":"Cambridge Tracts","volume-title":"Understanding Z: a Specification Language and its Formal Semantics. Theoretical Computer Science","author":"Spivey J. M.","unstructured":"J. M. Spivey , 1988. Understanding Z: a Specification Language and its Formal Semantics. Theoretical Computer Science , Cambridge University Press January, volume 3 of Cambridge Tracts . J. M. Spivey, 1988. Understanding Z: a Specification Language and its Formal Semantics. Theoretical Computer Science, Cambridge University Press January, volume 3 of Cambridge Tracts."},{"key":"e_1_3_2_1_28_1","unstructured":"I. Meisels M. Saaltink 1997 \"The Z\/EVES Reference Manual TR-97-5493-03 \" ORA Canada CANADA.  I. Meisels M. Saaltink 1997 \"The Z\/EVES Reference Manual TR-97-5493-03 \" ORA Canada CANADA."},{"volume-title":"Design and Safety Assessment of Critical Systems","author":"A.","key":"e_1_3_2_1_29_1","unstructured":"Bozzano, M., Villafiorita, A. 2010. Design and Safety Assessment of Critical Systems . CRC Press . Bozzano, M., Villafiorita, A. 2010. Design and Safety Assessment of Critical Systems. CRC Press."},{"key":"e_1_3_2_1_30_1","volume-title":"34th Int. Conf. on Software Engineering (ICSE","author":"Y.","year":"2012","unstructured":"Esteve, M.A., Katoen, J.P., Nguyen, V.Y., Postma, B., Yushtein, Y. 2012 . Formal correctness, safety, dependability and performance analysis of a satellite . In 34th Int. Conf. on Software Engineering (ICSE 2012), ACM and IEEE CS Press 1022--1031. Esteve, M.A., Katoen, J.P., Nguyen, V.Y., Postma, B., Yushtein, Y. 2012. Formal correctness, safety, dependability and performance analysis of a satellite. In 34th Int. Conf. on Software Engineering (ICSE 2012), ACM and IEEE CS Press 1022--1031."}],"event":{"name":"ICTCS '16: Second International Conference on Information and Communication Technology for Competitive Strategies","acronym":"ICTCS '16","location":"Udaipur India"},"container-title":["Proceedings of the Second International Conference on Information and Communication Technology for Competitive Strategies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2905055.2905162","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2905055.2905162","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:38:49Z","timestamp":1750221529000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2905055.2905162"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,4]]},"references-count":30,"alternative-id":["10.1145\/2905055.2905162","10.1145\/2905055"],"URL":"https:\/\/doi.org\/10.1145\/2905055.2905162","relation":{},"subject":[],"published":{"date-parts":[[2016,3,4]]},"assertion":[{"value":"2016-03-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}