{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:05:46Z","timestamp":1730210746679,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.1998.657559","type":"proceedings-article","created":{"date-parts":[[2002,11,27]],"date-time":"2002-11-27T16:41:39Z","timestamp":1038415299000},"page":"282-294","source":"Crossref","is-referenced-by-count":12,"title":["Traffic lights-an AutoFocus case study"],"prefix":"10.1109","author":[{"given":"F.","family":"Huber","sequence":"first","affiliation":[]},{"given":"S.","family":"Molterer","sequence":"additional","affiliation":[]},{"given":"B.","family":"Schatz","sequence":"additional","affiliation":[]},{"given":"O.","family":"Slotosch","sequence":"additional","affiliation":[]},{"given":"A.","family":"Vilbig","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"1996","journal-title":"Telelogic AB SDT 3 1 Reference Manual","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/32.54292"},{"key":"ref10","first-page":"122","article-title":"Consistent graphical specification of distributed systems","volume":"1313","author":"huber","year":"1997","journal-title":"FME '97"},{"year":"1993","author":"jones","journal-title":"An introduction to GO","key":"ref6"},{"year":"1997","author":"huber","journal-title":"Formale Beschreibungstechniken f\ufffdr verteilte Systeme","first-page":"343","key":"ref11"},{"year":"1997","author":"booch","journal-title":"UML Summary","key":"ref5"},{"key":"ref12","first-page":"165","volume":"29","author":"huber","year":"1996","journal-title":"Formale Beschreibungstechniken f\ufffdr verteilte Systeme"},{"year":"1996","journal-title":"Message Sequence Chart (MSC)","key":"ref8"},{"year":"1996","author":"grosu","journal-title":"State Transition Diagrams","key":"ref7"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1017\/CBO9780511624162"},{"year":"1996","author":"sch\ufffdtz","journal-title":"FME 96","article-title":"Graphical development of consistent system specifications","key":"ref9"},{"year":"1992","author":"broy","journal-title":"The Design of Distributed Systems - An Introduction to FOCUS","key":"ref1"}],"event":{"acronym":"CSD-98","name":"1998 International Conference on Application of Concurrency to System Design","location":"Fukushima, Japan"},"container-title":["Proceedings 1998 International Conference on Application of Concurrency to System Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx4\/5285\/14322\/00657559.pdf?arnumber=657559","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T02:25:52Z","timestamp":1489112752000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/657559\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/csd.1998.657559","relation":{},"subject":[]}}