@inproceedings{botham_picassos_2017,
	title = {{PICASSOS} – {Practical} applications of automated formal methods to safety related automotive systems},
	url = {http://wrap.warwick.ac.uk/86502/},
	doi = {10/gh25wj},
	publisher = {Society of Automobile Engineers},
	author = {Botham, John and Dhadyalla, Gunwant and Powell, Antony and Miller, Peter and Haas, Olivier and McGeoch, David and Chakrapani Rao, Arun and O’Halloran, Colin and Kiec, Jaroslaw and Farooq, Asif and Pushpas, Saman and Tudor, Nick},
	year = {2017},
	keywords = {TL Motor vehicles. Aeronautics. Astronautics},
}

{"_id":"MCaviG6YaRoGZR76u","bibbaseid":"botham-dhadyalla-powell-miller-haas-mcgeoch-chakrapanirao-ohalloran-etal-picassospracticalapplicationsofautomatedformalmethodstosafetyrelatedautomotivesystems-2017","author_short":["Botham, J.","Dhadyalla, G.","Powell, A.","Miller, P.","Haas, O.","McGeoch, D.","Chakrapani Rao, A.","O’Halloran, C.","Kiec, J.","Farooq, A.","Pushpas, S.","Tudor, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"PICASSOS – Practical applications of automated formal methods to safety related automotive systems","url":"http://wrap.warwick.ac.uk/86502/","doi":"10/gh25wj","publisher":"Society of Automobile Engineers","author":[{"propositions":[],"lastnames":["Botham"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Dhadyalla"],"firstnames":["Gunwant"],"suffixes":[]},{"propositions":[],"lastnames":["Powell"],"firstnames":["Antony"],"suffixes":[]},{"propositions":[],"lastnames":["Miller"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Haas"],"firstnames":["Olivier"],"suffixes":[]},{"propositions":[],"lastnames":["McGeoch"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Chakrapani","Rao"],"firstnames":["Arun"],"suffixes":[]},{"propositions":[],"lastnames":["O’Halloran"],"firstnames":["Colin"],"suffixes":[]},{"propositions":[],"lastnames":["Kiec"],"firstnames":["Jaroslaw"],"suffixes":[]},{"propositions":[],"lastnames":["Farooq"],"firstnames":["Asif"],"suffixes":[]},{"propositions":[],"lastnames":["Pushpas"],"firstnames":["Saman"],"suffixes":[]},{"propositions":[],"lastnames":["Tudor"],"firstnames":["Nick"],"suffixes":[]}],"year":"2017","keywords":"TL Motor vehicles. Aeronautics. Astronautics","bibtex":"@inproceedings{botham_picassos_2017,\n\ttitle = {{PICASSOS} – {Practical} applications of automated formal methods to safety related automotive systems},\n\turl = {http://wrap.warwick.ac.uk/86502/},\n\tdoi = {10/gh25wj},\n\tpublisher = {Society of Automobile Engineers},\n\tauthor = {Botham, John and Dhadyalla, Gunwant and Powell, Antony and Miller, Peter and Haas, Olivier and McGeoch, David and Chakrapani Rao, Arun and O’Halloran, Colin and Kiec, Jaroslaw and Farooq, Asif and Pushpas, Saman and Tudor, Nick},\n\tyear = {2017},\n\tkeywords = {TL Motor vehicles. Aeronautics. Astronautics},\n}\n\n","author_short":["Botham, J.","Dhadyalla, G.","Powell, A.","Miller, P.","Haas, O.","McGeoch, D.","Chakrapani Rao, A.","O’Halloran, C.","Kiec, J.","Farooq, A.","Pushpas, S.","Tudor, N."],"key":"botham_picassos_2017","id":"botham_picassos_2017","bibbaseid":"botham-dhadyalla-powell-miller-haas-mcgeoch-chakrapanirao-ohalloran-etal-picassospracticalapplicationsofautomatedformalmethodstosafetyrelatedautomotivesystems-2017","role":"author","urls":{"Paper":"http://wrap.warwick.ac.uk/86502/"},"keyword":["TL Motor vehicles. Aeronautics. Astronautics"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["tl motor vehicles. aeronautics. astronautics"],"search_terms":["picassos","practical","applications","automated","formal","methods","safety","related","automotive","systems","botham","dhadyalla","powell","miller","haas","mcgeoch","chakrapani rao","o’halloran","kiec","farooq","pushpas","tudor"],"title":"PICASSOS – Practical applications of automated formal methods to safety related automotive systems","year":2017}