@INPROCEEDINGS{Larsen&16a,
  KEY           = "Larsen\&16",
  AUTHOR        = "Peter Gorm Larsen and John Fitzgerald and Jim Woodcock and
                   Peter Fritzson and J{\"{o}}rg Brauer and Christian Kleijn
                   and Thierry Lecomte and Markus Pfeil and Ole Green and
                   Stylianos Basagiannis and Andrey Sadovykh",
  TITLE         = "{Integrated Tool Chain for Model-based Design of
                    Cyber-Physical Systems: The {INTO-CPS} Project}",
  BOOKTITLE     = "CPS Data Workshop",
  PUBLISHER     = "",
  ADDRESS       = "Vienna, Austria",
  YEAR          = "2016",
  MONTH         = "April",
  PAGES         = "",
  SIZE          = "",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM TOOL OVERTURE

{"_id":"pdehbpKmBiZ7PG4f6","bibbaseid":"larsen-fitzgerald-woodcock-fritzson-brauer-kleijn-lecomte-pfeil-etal-integratedtoolchainformodelbaseddesignofcyberphysicalsystemstheintocpsproject-2016","downloads":0,"creationDate":"2015-12-06T05:45:05.521Z","title":"Integrated Tool Chain for Model-based Design of Cyber-Physical Systems: The INTO-CPS Project","author_short":["Larsen, P. G.","Fitzgerald, J.","Woodcock, J.","Fritzson, P.","Brauer, J.","Kleijn, C.","Lecomte, T.","Pfeil, M.","Green, O.","Basagiannis, S.","Sadovykh, A."],"year":2016,"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Larsen&16a","author":[{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["Jim"],"propositions":[],"lastnames":["Woodcock"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Fritzson"],"suffixes":[]},{"firstnames":["Jörg"],"propositions":[],"lastnames":["Brauer"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Kleijn"],"suffixes":[]},{"firstnames":["Thierry"],"propositions":[],"lastnames":["Lecomte"],"suffixes":[]},{"firstnames":["Markus"],"propositions":[],"lastnames":["Pfeil"],"suffixes":[]},{"firstnames":["Ole"],"propositions":[],"lastnames":["Green"],"suffixes":[]},{"firstnames":["Stylianos"],"propositions":[],"lastnames":["Basagiannis"],"suffixes":[]},{"firstnames":["Andrey"],"propositions":[],"lastnames":["Sadovykh"],"suffixes":[]}],"title":"Integrated Tool Chain for Model-based Design of Cyber-Physical Systems: The INTO-CPS Project","booktitle":"CPS Data Workshop","publisher":"","address":"Vienna, Austria","year":"2016","month":"April","pages":"","size":"","note":"","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Larsen&16a,\n KEY = \"Larsen\\&16\",\n AUTHOR = \"Peter Gorm Larsen and John Fitzgerald and Jim Woodcock and\n Peter Fritzson and J{\\\"{o}}rg Brauer and Christian Kleijn\n and Thierry Lecomte and Markus Pfeil and Ole Green and\n Stylianos Basagiannis and Andrey Sadovykh\",\n TITLE = \"{Integrated Tool Chain for Model-based Design of\n Cyber-Physical Systems: The {INTO-CPS} Project}\",\n BOOKTITLE = \"CPS Data Workshop\",\n PUBLISHER = \"\",\n ADDRESS = \"Vienna, Austria\",\n YEAR = \"2016\",\n MONTH = \"April\",\n PAGES = \"\",\n SIZE = \"\",\n NOTE = \"\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM TOOL OVERTURE\n","author_short":["Larsen, P. G.","Fitzgerald, J.","Woodcock, J.","Fritzson, P.","Brauer, J.","Kleijn, C.","Lecomte, T.","Pfeil, M.","Green, O.","Basagiannis, S.","Sadovykh, A."],"id":"Larsen&16a","bibbaseid":"larsen-fitzgerald-woodcock-fritzson-brauer-kleijn-lecomte-pfeil-etal-integratedtoolchainformodelbaseddesignofcyberphysicalsystemstheintocpsproject-2016","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["integrated","tool","chain","model","based","design","cyber","physical","systems","cps","project","larsen","fitzgerald","woodcock","fritzson","brauer","kleijn","lecomte","pfeil","green","basagiannis","sadovykh"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}