@INPROCEEDINGS{Battle&19,
  KEY           = "Battle&19",
  AUTHOR        = "Nick Battle and  Casper Thule and Cláudio Gomes and Hugo Daniel Macedo and Peter Gorm Larsen",
  EDITOR        = "Carl Gamble and Luis Diogo Couto",
  TITLE         = "{Towards Static Check of FMUs in VDM-SL}",
  BOOKTITLE     = "The 17th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering",
  PUBLISHER     = "Newcastle University Technical Report Series. CS-TR-1530",
  ADDRESS       = "Porto, Portugal",
  YEAR          = "2019",
  MONTH         = "October",
  PAGES         = "17--31",
  ANNOTE        = "",
  COMMENT       = ""}

%G TOOL OVERTURE VDM DIT4CPS FMI

{"_id":"BLWiBnJGfsPyPe9qc","bibbaseid":"battle-thule-gomes-macedo-larsen-towardsstaticcheckoffmusinvdmsl-2019","authorIDs":[],"author_short":["Battle, N.","Thule, C.","Gomes, C.","Macedo, H. D.","Larsen, P. G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Battle&19","author":[{"firstnames":["Nick"],"propositions":[],"lastnames":["Battle"],"suffixes":[]},{"firstnames":["Casper"],"propositions":[],"lastnames":["Thule"],"suffixes":[]},{"firstnames":["Cláudio"],"propositions":[],"lastnames":["Gomes"],"suffixes":[]},{"firstnames":["Hugo","Daniel"],"propositions":[],"lastnames":["Macedo"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"editor":[{"firstnames":["Carl"],"propositions":[],"lastnames":["Gamble"],"suffixes":[]},{"firstnames":["Luis","Diogo"],"propositions":[],"lastnames":["Couto"],"suffixes":[]}],"title":"Towards Static Check of FMUs in VDM-SL","booktitle":"The 17th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering","publisher":"Newcastle University Technical Report Series. CS-TR-1530","address":"Porto, Portugal","year":"2019","month":"October","pages":"17–31","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Battle&19,\n KEY = \"Battle&19\",\n AUTHOR = \"Nick Battle and Casper Thule and Cláudio Gomes and Hugo Daniel Macedo and Peter Gorm Larsen\",\n EDITOR = \"Carl Gamble and Luis Diogo Couto\",\n TITLE = \"{Towards Static Check of FMUs in VDM-SL}\",\n BOOKTITLE = \"The 17th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering\",\n PUBLISHER = \"Newcastle University Technical Report Series. CS-TR-1530\",\n ADDRESS = \"Porto, Portugal\",\n YEAR = \"2019\",\n MONTH = \"October\",\n PAGES = \"17--31\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G TOOL OVERTURE VDM DIT4CPS FMI\n","author_short":["Battle, N.","Thule, C.","Gomes, C.","Macedo, H. D.","Larsen, P. G."],"editor_short":["Gamble, C.","Couto, L. D."],"id":"Battle&19","bibbaseid":"battle-thule-gomes-macedo-larsen-towardsstaticcheckoffmusinvdmsl-2019","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2019-10-03T06:29:54.807Z","downloads":0,"keywords":[],"search_terms":["towards","static","check","fmus","vdm","battle","thule","gomes","macedo","larsen"],"title":"Towards Static Check of FMUs in VDM-SL","year":2019,"dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}