{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:32:56Z","timestamp":1729611176504,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/robot.2004.1302535","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"5153-5158","source":"Crossref","is-referenced-by-count":2,"title":["Mlav: the object-oriented methodology of the virtual automation lab"],"prefix":"10.1109","author":[{"given":"V.M.","family":"Gonzalez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Mateos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.H.C.","family":"Ng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","volume":"1 2 3","author":"ward","year":"1985","journal-title":"Structured Development for Real-Time Systems"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1049\/sej.1986.0017","article-title":"Mascot 3: An informal introductory tutorial","volume":"1","author":"bate","year":"1986","journal-title":"Software Engineering Journal"},{"journal-title":"Strategies for Real-Time System Specification","year":"1987","author":"hatley","key":"ref12"},{"key":"ref13","first-page":"231","article-title":"Statecharts: A visual formalism for complex systems","author":"david","year":"1987","journal-title":"Science of Computer Programming"},{"journal-title":"Real-Time UML","year":"1998","author":"douglass","key":"ref14"},{"journal-title":"tech rep International Electrotechnical Commission","article-title":"Preparation of function charts for control systems","year":"1988","key":"ref15"},{"journal-title":"Petri Nets Theory and the Modeling of Systems","year":"1981","author":"peterson","key":"ref16"},{"journal-title":"Le GEMMA","year":"1997","author":"moreno","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1049\/ir:19970312"},{"journal-title":"The Unified Modelling Language User Guide","year":"1999","author":"booch","key":"ref19"},{"journal-title":"Metrics and Models in Software Quality Engineering","year":"1995","author":"kan","key":"ref4"},{"journal-title":"Modeling Reactive Systems with Statecharts The STATEMATE Approach","article-title":"David Harel and Michal Politi","year":"1998","key":"ref3"},{"key":"ref6","first-page":"1","article-title":"On the programming of industrial computers","author":"maler","year":"1999","journal-title":"Tech Rep ESPRI T-LTR Project 26270 VHS (Verification of Hybrid systems) VHS deliverable in Workpackage Ip"},{"journal-title":"Costs and Benefits of Software Engineering in Product Development Environments","year":"1999","author":"reisman","key":"ref5"},{"journal-title":"Control System Design Lecture Notes for ME 155A","year":"2003","author":"karl","key":"ref8"},{"journal-title":"Automatic Control Systems","year":"2002","author":"kuo","key":"ref7"},{"key":"ref2","first-page":"598","article-title":"Mechatronic objects encapsulation in IEC 61131-3 norm","author":"bonfe","year":"0","journal-title":"IEEE International conference on Control Applications"},{"journal-title":"Batch Control Part 1 Models and Terminology","article-title":"ANSI\/ISA","year":"1995","key":"ref9"},{"key":"ref1","article-title":"What does a procedure look like? the isa s88.02 recipe representation format","author":"emerson","year":"1999","journal-title":"Tutorial World Batch Forum"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/S0141-9331(99)00015-0","article-title":"Sf c++: a tool for developing distributed real-time control software","volume":"23","author":"pardo mart\u00ednez","year":"1999","journal-title":"Microprocessors and Microsystems"},{"journal-title":"On Object Oriented Non-deterministic Supervisory Control","year":"1995","author":"fabian","key":"ref22"},{"key":"ref21","first-page":"85","article-title":"G++, a graphical language intended to help the development of industrial process control applications","author":"fanard","year":"1989","journal-title":"Proc Second Int l Conf Software Eng for Real-Time Systems"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/74877.74879"},{"key":"ref23","article-title":"Models for specification and control of flexible manufacturing systems","author":"andreassen","year":"1997","journal-title":"Chalmers University of Technology Tech Rep"},{"journal-title":"Object-Oriented Methodology for the Analysis and Modelling of Discrete Event Systems Application to the Generation of the Control Logic based on IEC 61131-3","year":"2002","author":"victor","key":"ref25"}],"event":{"name":"IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004","start":{"date-parts":[[2004,4,26]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2004,5,1]]}},"container-title":["IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9126\/28923\/01302535.pdf?arnumber=1302535","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:57:37Z","timestamp":1497585457000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1302535\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/robot.2004.1302535","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}