{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T15:28:51Z","timestamp":1694618931179},"reference-count":5,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2000,12,1]],"date-time":"2000-12-01T00:00:00Z","timestamp":975628800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2000,12]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>\n            M\n            <jats:bold>\n              <jats:italic>OBY<\/jats:italic>\n            <\/jats:bold>\n            \/\n            <jats:bold>\n              <jats:italic>PLC<\/jats:italic>\n            <\/jats:bold>\n            is a graphical design tool for PLC-Automata, a special class of hierarchical real-time automata suitable for the description of distributed real-time systems that are implementable on a widely used hardware platform, so-called Programmable logic controllers (PLCs). In the full paper we sketch the modelling language in use and some features of M\n            <jats:bold>\n              <jats:italic>OBY<\/jats:italic>\n            <\/jats:bold>\n            \/\n            <jats:bold>\n              <jats:italic>PLC<\/jats:italic>\n            <\/jats:bold>\n            , like several validation methods and code generation. We employ this tool suite to deal with the benchmark case study (\u2018cash-point service\u2019).\n          <\/jats:p>","DOI":"10.1007\/s001650070015","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T06:34:23Z","timestamp":1030257263000},"page":"220-221","source":"Crossref","is-referenced-by-count":1,"title":["Modelling and Verifying of a \u2018Cash-Point Service\u2019 Using MOBY\/PLC"],"prefix":"10.1145","volume":"12","author":[{"given":"Henning","family":"Dierks","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Oldenburg, Oldenburg, Germany, , , , , , DE"}]},{"given":"Josef","family":"Tapken","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Oldenburg, Oldenburg, Germany, , , , , , DE"}]}],"member":"320","reference":[{"key":"p_1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Al","year":"1994","journal-title":"TCS"},{"key":"p_2","first-page":"111","volume-title":"F. W.: Operational and logical semantics for polling real-time systems.","year":"1997"},{"key":"p_3","unstructured":"In\n      A. P.\n      Ravn\n       and \n      H.\n      Rischel (eds). FTRTFT'98 volume \n  1486\n   of \n  LNCS pages \n  29\n  -\n  40 Lyngby Denmark September\n  1998\n  ."},{"key":"p_4","unstructured":"Springer. [KPO96] Krieg-Br\u00fcckner B. Peleska J. Olderog E.-R. etal.: UniForM: Universal Formal Methods Workbench. In Statusseminar"},{"key":"p_5","unstructured":"des BMBF Softwaretechnologie pages 357-378. BMBF Berlin 1996."}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001650070015.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001650070015\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s001650070015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:40:51Z","timestamp":1641483651000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s001650070015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":5,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,12]]}},"alternative-id":["10.1007\/s001650070015"],"URL":"https:\/\/doi.org\/10.1007\/s001650070015","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}