{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:54:18Z","timestamp":1743130458653,"version":"3.40.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319049144"},{"type":"electronic","value":"9783319049151"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04915-1_12","type":"book-chapter","created":{"date-parts":[[2014,2,20]],"date-time":"2014-02-20T15:12:22Z","timestamp":1392909142000},"page":"166-174","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Applying SOFL to Constructing a Smart Traffic Light Specification"],"prefix":"10.1007","author":[{"given":"Wahyu Eko","family":"Sulistiono","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoying","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,21]]},"reference":[{"key":"12_CR1","series-title":"LNCS","first-page":"7","volume-title":"ICFEM 2004","author":"S Liu","year":"2004","unstructured":"Liu, S.: Formal engineering for industrial software development \u2013 an introduction to the SOFL specification language and method. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 7\u20138. Springer, Heidelberg (2004)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Liu, S.: A framework for developing dependable software systems using the SOFL formal engineering method. In: 2010 International Conference on Intelligent Computing and Integrated Systems (ICISS), pp. 561\u2013567 (2010)","DOI":"10.1109\/ICISS.2010.5655323"},{"key":"12_CR3","unstructured":"Liu, S., Asuka, M., Komaya, K., Nakamura, Y.: Applying SOFL to specify a railway crossing controller for industry. In: Proceedings of the 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques 1998, pp. 16\u201327 (1998)"},{"key":"12_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07287-5","volume-title":"Formal Engineering for Industrial Software Development","author":"S Liu","year":"2004","unstructured":"Liu, S.: Formal Engineering for Industrial Software Development. Springer, Heidelberg (2004)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Wang, Q., Hu, J., Wang, Y., Zhang, Y.: A simulation study for the communication subsystem of wireless traffic information service system. In: 7th International Conference on Information, Communications and Signal Processing 2009, ICICS 2009, pp. 1\u20136 (2009)","DOI":"10.1109\/ICICS.2009.5397731"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Wang, J., Liu, S., Qi, Y., Hou, D.: Developing an insulin pump system using the SOFL method. In: 14th Asia-Pacific Software Engineering Conference 2007, APSEC 2007, pp. 334\u2013341 (2007)","DOI":"10.1109\/ASPEC.2007.31"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Abdullah, A.B., Liu, S.: Hazard analysis for safety-critical systems using SOFL. In: 2013 IEEE Symposium on Computational Intelligence for Engineering Solutions, Singapore (2013)","DOI":"10.1109\/CIES.2013.6611740"},{"key":"12_CR8","unstructured":"Liu, S., Shibata, M., Sato, R.: Applying SOFL to develop a university information system. In: Proceedings of Sixth Asia Pacific Software Engineering Conference 1999, APSEC 1999, pp. 404\u2013411 (1999)"},{"key":"12_CR9","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1142\/9789814289986_0009","volume-title":"In: International Conference on Software Technology and Engineering","author":"A Mat","year":"2009","unstructured":"Mat, A., Liu, S.: Applying SOFL to construct the formal specification of an automatic automobile driving simulation system. In: International Conference on Software Technology and Engineering, vol. 3308, pp. 42\u201348. World Scientific Publishing, Chennai (2009)"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04915-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T05:30:37Z","timestamp":1674883837000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-04915-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319049144","9783319049151"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04915-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"21 February 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}