@incollection{Lausdahl&14,
  KEY           = "Lausdahl\&14",
  TITLE         = "Including Running System Implementations in the Simulation of System of Systems Models",
  AUTHOR        = "Kenneth Lausdahl and Claus Balleg\aa rd Nielsen and Klaus Kristensen",
  booktitle		= {Preproceedings of SBMF 2014 17th Brazilian Symposium on Formal Methods},
  PAGES         = "177--182",
  YEAR          = "2014",
  month			= "September",
  publisher		= {Universidade Federal de Alagoas (UFAL)},
  series		= {CBSoft},
  number		= "17",
  editor		= {Christiano Braga and Narciso Mart\'{i}-Oliet}}

%G VDM OVERTURE

{"_id":"keBbXiGXisP4GbTaQ","bibbaseid":"lausdahl-rdnielsen-kristensen-includingrunningsystemimplementationsinthesimulationofsystemofsystemsmodels-2014","author_short":["Lausdahl, K.","rd Nielsen, C. B.","Kristensen, K."],"bibdata":{"bibtype":"incollection","type":"incollection","key":"Lausdahl&14","title":"Including Running System Implementations in the Simulation of System of Systems Models","author":[{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Claus","Ballegå"],"propositions":["rd"],"lastnames":["Nielsen"],"suffixes":[]},{"firstnames":["Klaus"],"propositions":[],"lastnames":["Kristensen"],"suffixes":[]}],"booktitle":"Preproceedings of SBMF 2014 17th Brazilian Symposium on Formal Methods","pages":"177–182","year":"2014","month":"September","publisher":"Universidade Federal de Alagoas (UFAL)","series":"CBSoft","number":"17","editor":[{"firstnames":["Christiano"],"propositions":[],"lastnames":["Braga"],"suffixes":[]},{"firstnames":["Narciso"],"propositions":[],"lastnames":["Martí-Oliet"],"suffixes":[]}],"bibtex":"@incollection{Lausdahl&14,\n KEY = \"Lausdahl\\&14\",\n TITLE = \"Including Running System Implementations in the Simulation of System of Systems Models\",\n AUTHOR = \"Kenneth Lausdahl and Claus Balleg\\aa rd Nielsen and Klaus Kristensen\",\n booktitle\t\t= {Preproceedings of SBMF 2014 17th Brazilian Symposium on Formal Methods},\n PAGES = \"177--182\",\n YEAR = \"2014\",\n month\t\t\t= \"September\",\n publisher\t\t= {Universidade Federal de Alagoas (UFAL)},\n series\t\t= {CBSoft},\n number\t\t= \"17\",\n editor\t\t= {Christiano Braga and Narciso Mart\\'{i}-Oliet}}\n\n%G VDM OVERTURE\n","author_short":["Lausdahl, K.","rd Nielsen, C. B.","Kristensen, K."],"editor_short":["Braga, C.","Martí-Oliet, N."],"id":"Lausdahl&14","bibbaseid":"lausdahl-rdnielsen-kristensen-includingrunningsystemimplementationsinthesimulationofsystemofsystemsmodels-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"incollection","biburl":"https://www.overturetool.org/publications/overtureweb.bib","dataSources":["o4zfqwm7cQsSnyzzT","HtWEJcCHFxSnPZdyr","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj","maALzmZwmtEEh8pXx"],"keywords":[],"search_terms":["including","running","system","implementations","simulation","system","systems","models","lausdahl","rd nielsen","kristensen"],"title":"Including Running System Implementations in the Simulation of System of Systems Models","year":2014}