{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:56:29Z","timestamp":1725566189473},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231769"},{"type":"electronic","value":"9783540301387"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30138-7_14","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T00:10:34Z","timestamp":1284855034000},"page":"155-165","source":"Crossref","is-referenced-by-count":6,"title":["PLC-Based Safety Critical Software Development for Nuclear Power Plants"],"prefix":"10.1007","author":[{"given":"Junbeom","family":"Yoo","sequence":"first","affiliation":[]},{"given":"Sungdeok","family":"Cha","sequence":"additional","affiliation":[]},{"given":"Han Seong","family":"Son","sequence":"additional","affiliation":[]},{"given":"Chang Hwoi","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Jang-Soo","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Yoo, J., Cha, S., Son, H.S., Kim, C.H., Lee, J.S.: A formal software requirements specification method for digital nuclear plants protection systems. Journal of Systems and Software (2003) (to be published)"},{"key":"14_CR2","unstructured":"Commission, I.E.: International standard for programmable controllers: Programming languages, part 3 (1993)"},{"key":"14_CR3","volume-title":"SAFEWARE, System safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: SAFEWARE, System safety and Computers. Addison Wesley, Reading (1995)"},{"key":"14_CR4","unstructured":"NRC, U.: Digital Instrumentation and Control Systems in Nuclear Power Plants: safety and reliability issues. National Academy Press (1997)"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Programming Languages and Sysems\u00a08, 244\u2013263 (1986)","journal-title":"ACM Trans. Programming Languages and Sysems"},{"key":"14_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02962-6","volume-title":"Logic and Structure","author":"D.V. Dalen","year":"1994","unstructured":"Dalen, D.V.: Logic and Structure, 3rd edn. Springer, Heidelberg (1994)","edition":"3"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Mader, A.: A classification of plc models and applications. In: Discrete Event Systems-Analysis and Control: WODES (2000)","DOI":"10.1007\/978-1-4615-4493-7_24"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: Timed transition systems. In: REXWorkshop, pp. 226\u2013251 (1991)","DOI":"10.1007\/BFb0031995"},{"key":"14_CR9","unstructured":"Yoo, J., Cha, S., Kim, C., Oh, Y.: Formal software requirements specification for digital reactor protection systems. Journal of KISS(Korea Information and Science Society) (2004) (to be published)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Yoo, J., Cha, S., Kim, C., Song, D.Y.: Synthesis of FBD-based PLC design from NuSCR formal specification. Reliability Engineering and System Safety (2004) (to be published)","DOI":"10.1016\/j.ress.2004.05.005"},{"key":"14_CR11","unstructured":"Yoo, J., Bang, H., Cha, S.: Procedural transformation from formal software requirement to PLC-based design. Technical Report CS\/TR 2004-198, Korea Advanced Institute of Science and Technology(KAIST), 373-1, Kusong-dong,Yusong-gu, Taejon, Korea (2004)"},{"key":"14_CR12","unstructured":"Electric, S.: http:\/\/www.modicon.com\/"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Huang, S.Y., Cheng, K.T.: Fromal Equivalence Checking and Debugging, ch. 4. Kluwer Academic Publishers, Dordrecht (1998)","DOI":"10.1007\/978-1-4615-5693-0"},{"key":"14_CR14","unstructured":"Brayton, R.K., Hachtel, G.D., Sangiovanni-Vincentelli, A., Somenzi, F., Aziz, A., Cheng, S.T., Edwards, S., Khatri, S., Kukimoto, Y., Pardo, A., Qadeer, S., Ranjan, R.K., Sarwary, S., Shiple, T.R., Swamy, G., Villa, T.: (vis)"},{"key":"14_CR15","volume-title":"Computer Aided Vrification of Coordinating Processes: The Automata-Theoretic Approach","author":"R.P. Kurshan","year":"1994","unstructured":"Kurshan, R.P.: Computer Aided Vrification of Coordinating Processes: The Automata-Theoretic Approach. Princeton University Press, Princeton (1994)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30138-7_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:44:10Z","timestamp":1605761050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30138-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231769","9783540301387"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30138-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}