@INPROCEEDINGS{Mansfield&18,
  AUTHOR        = "Martin Mansfield and Charles Morisset and Carl Gamble and John C. Mace
                             and  Ken Pierce and John Fitzgerald",
  EDITOR        = "Ken Pierce and Marcel Verhoef",
  TITLE         = "{Design Space Exploration for Secure Building Control}",
  BOOKTITLE     = "The 16th Overture Workshop",
  ORGANIZATION  = "Newcastle University, School of Computing",
  ADDRESS       = "Oxford",
  YEAR          = "2018",
  MONTH         = "July",
  PAGES         = "71--88",
  NOTE          = "{TR-1524}",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM APPLY VDM++ OVERTURE

{"_id":"8gxTutqRvz3n35QiZ","bibbaseid":"mansfield-morisset-gamble-mace-pierce-fitzgerald-designspaceexplorationforsecurebuildingcontrol-2018","authorIDs":[],"author_short":["Mansfield, M.","Morisset, C.","Gamble, C.","Mace, J. C.","Pierce, K.","Fitzgerald, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Martin"],"propositions":[],"lastnames":["Mansfield"],"suffixes":[]},{"firstnames":["Charles"],"propositions":[],"lastnames":["Morisset"],"suffixes":[]},{"firstnames":["Carl"],"propositions":[],"lastnames":["Gamble"],"suffixes":[]},{"firstnames":["John","C."],"propositions":[],"lastnames":["Mace"],"suffixes":[]},{"firstnames":["Ken"],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]}],"editor":[{"firstnames":["Ken"],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]}],"title":"Design Space Exploration for Secure Building Control","booktitle":"The 16th Overture Workshop","organization":"Newcastle University, School of Computing","address":"Oxford","year":"2018","month":"July","pages":"71–88","note":"TR-1524","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Mansfield&18,\n AUTHOR = \"Martin Mansfield and Charles Morisset and Carl Gamble and John C. Mace\n and Ken Pierce and John Fitzgerald\",\n EDITOR = \"Ken Pierce and Marcel Verhoef\",\n TITLE = \"{Design Space Exploration for Secure Building Control}\",\n BOOKTITLE = \"The 16th Overture Workshop\",\n ORGANIZATION = \"Newcastle University, School of Computing\",\n ADDRESS = \"Oxford\",\n YEAR = \"2018\",\n MONTH = \"July\",\n PAGES = \"71--88\",\n NOTE = \"{TR-1524}\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM APPLY VDM++ OVERTURE\n","author_short":["Mansfield, M.","Morisset, C.","Gamble, C.","Mace, J. C.","Pierce, K.","Fitzgerald, J."],"editor_short":["Pierce, K.","Verhoef, M."],"key":"Mansfield&18","id":"Mansfield&18","bibbaseid":"mansfield-morisset-gamble-mace-pierce-fitzgerald-designspaceexplorationforsecurebuildingcontrol-2018","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2019-10-03T06:29:54.905Z","downloads":0,"keywords":[],"search_terms":["design","space","exploration","secure","building","control","mansfield","morisset","gamble","mace","pierce","fitzgerald"],"title":"Design Space Exploration for Secure Building Control","year":2018,"dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}