@inproceedings{Fitzgerald&19,
  author    = {John S. Fitzgerald and Peter Gorm Larsen and Ken G. Pierce},
  editor    = {Maurice H. ter Beek and Alessandro Fantechi and Laura Semini},
  title     = {Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin},
  booktitle = {From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {11865},
  pages     = {40--55},
  publisher = {Springer},
  year      = {2019},
}

%G OVERTURE VDM TOOL

{"_id":"GnbSaB8r9vdoWZeZt","bibbaseid":"fitzgerald-larsen-pierce-multimodellingandcosimulationintheengineeringofcyberphysicalsystemstowardsthedigitaltwin-2019","authorIDs":[],"author_short":["Fitzgerald, J. S.","Larsen, P. G.","Pierce, K. G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["John","S."],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Ken","G."],"propositions":[],"lastnames":["Pierce"],"suffixes":[]}],"editor":[{"firstnames":["Maurice","H."],"propositions":["ter"],"lastnames":["Beek"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Fantechi"],"suffixes":[]},{"firstnames":["Laura"],"propositions":[],"lastnames":["Semini"],"suffixes":[]}],"title":"Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin","booktitle":"From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday","series":"Lecture Notes in Computer Science","volume":"11865","pages":"40–55","publisher":"Springer","year":"2019","bibtex":"@inproceedings{Fitzgerald&19,\n author = {John S. Fitzgerald and Peter Gorm Larsen and Ken G. Pierce},\n editor = {Maurice H. ter Beek and Alessandro Fantechi and Laura Semini},\n title = {Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin},\n booktitle = {From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},\n series = {Lecture Notes in Computer Science},\n volume = {11865},\n pages = {40--55},\n publisher = {Springer},\n year = {2019},\n}\n\n%G OVERTURE VDM TOOL\n","author_short":["Fitzgerald, J. S.","Larsen, P. G.","Pierce, K. G."],"editor_short":["ter Beek, M. H.","Fantechi, A.","Semini, L."],"key":"Fitzgerald&19","id":"Fitzgerald&19","bibbaseid":"fitzgerald-larsen-pierce-multimodellingandcosimulationintheengineeringofcyberphysicalsystemstowardsthedigitaltwin-2019","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2019-11-24T14:52:01.727Z","downloads":0,"keywords":[],"search_terms":["multi","modelling","simulation","engineering","cyber","physical","systems","towards","digital","twin","fitzgerald","larsen","pierce"],"title":"Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin","year":2019,"dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}