@INPROCEEDINGS{Feo-Arenis&17,
  KEY           = "Feo-Arenis\&17",
  AUTHOR        = "Sergio Feo-Arenis and Marcel Verhoef and Peter Gorm Larsen",
  EDITOR        = "{Fitzgerald, Tran-J\o{}rgensen, Oda}",
  TITLE         = "{The Mars-Rover Case Study Modelled Using {INTO-CPS}}",
  BOOKTITLE     = "The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering",
  ORGANIZATION  = "Newcastle University",
  PUBLISHER     = "Computing Science. Technical Report Series.  CS-TR- 1513",
  ADDRESS       = "Newcastle, UK",
  YEAR          = "2017",
  MONTH         = "September",
  PAGES         = "130--144",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE

{"_id":"F88iDeoFzLuyauArw","bibbaseid":"feoarenis-verhoef-larsen-themarsrovercasestudymodelledusingintocps-2017","downloads":0,"creationDate":"2018-02-26T01:45:59.529Z","title":"The Mars-Rover Case Study Modelled Using INTO-CPS","author_short":["Feo-Arenis, S.","Verhoef, M.","Larsen, P. G."],"year":2017,"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Feo-Arenis&17","author":[{"firstnames":["Sergio"],"propositions":[],"lastnames":["Feo-Arenis"],"suffixes":[]},{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"editor":[{"firstnames":[],"propositions":[],"lastnames":["Fitzgerald, Tran-Jørgensen"],"suffixes":[]}],"title":"The Mars-Rover Case Study Modelled Using INTO-CPS","booktitle":"The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering","organization":"Newcastle University","publisher":"Computing Science. Technical Report Series. CS-TR- 1513","address":"Newcastle, UK","year":"2017","month":"September","pages":"130–144","note":"","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Feo-Arenis&17,\n KEY = \"Feo-Arenis\\&17\",\n AUTHOR = \"Sergio Feo-Arenis and Marcel Verhoef and Peter Gorm Larsen\",\n EDITOR = \"{Fitzgerald, Tran-J\\o{}rgensen, Oda}\",\n TITLE = \"{The Mars-Rover Case Study Modelled Using {INTO-CPS}}\",\n BOOKTITLE = \"The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering\",\n ORGANIZATION = \"Newcastle University\",\n PUBLISHER = \"Computing Science. Technical Report Series. CS-TR- 1513\",\n ADDRESS = \"Newcastle, UK\",\n YEAR = \"2017\",\n MONTH = \"September\",\n PAGES = \"130--144\",\n NOTE = \"\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM OVERTURE\n","author_short":["Feo-Arenis, S.","Verhoef, M.","Larsen, P. G."],"editor_short":["Fitzgerald, Tran-Jørgensen"],"id":"Feo-Arenis&17","bibbaseid":"feoarenis-verhoef-larsen-themarsrovercasestudymodelledusingintocps-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["mars","rover","case","study","modelled","using","cps","feo-arenis","verhoef","larsen"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}