@inproceedings{siu_flight_2017,
	title = {Flight critical software and systems development using {ASSERT}™},
	doi = {10/ghv3jg},
	booktitle = {2017 {IEEE}/{AIAA} 36th {Digital} {Avionics} {Systems} {Conference} ({DASC})},
	publisher = {IEEE},
	author = {Siu, Kit and Moitra, Abha and Durling, Michael and Crapo, Andy and Li, Meng and Yu, Han and Herencia-Zapana, Heber and Castillo-Effen, Mauricio and Sen, Shiraj and McMillan, Craig},
	year = {2017},
	note = {tex.ids= siuFlightCriticalSoftware2017a, siuFlightCriticalSoftware2017b},
	pages = {1--10},
}

{"_id":"Bx2mGSGRv8eWn8i3M","bibbaseid":"siu-moitra-durling-crapo-li-yu-herenciazapana-castilloeffen-etal-flightcriticalsoftwareandsystemsdevelopmentusingassert-2017","author_short":["Siu, K.","Moitra, A.","Durling, M.","Crapo, A.","Li, M.","Yu, H.","Herencia-Zapana, H.","Castillo-Effen, M.","Sen, S.","McMillan, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Flight critical software and systems development using ASSERT™","doi":"10/ghv3jg","booktitle":"2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC)","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Siu"],"firstnames":["Kit"],"suffixes":[]},{"propositions":[],"lastnames":["Moitra"],"firstnames":["Abha"],"suffixes":[]},{"propositions":[],"lastnames":["Durling"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Crapo"],"firstnames":["Andy"],"suffixes":[]},{"propositions":[],"lastnames":["Li"],"firstnames":["Meng"],"suffixes":[]},{"propositions":[],"lastnames":["Yu"],"firstnames":["Han"],"suffixes":[]},{"propositions":[],"lastnames":["Herencia-Zapana"],"firstnames":["Heber"],"suffixes":[]},{"propositions":[],"lastnames":["Castillo-Effen"],"firstnames":["Mauricio"],"suffixes":[]},{"propositions":[],"lastnames":["Sen"],"firstnames":["Shiraj"],"suffixes":[]},{"propositions":[],"lastnames":["McMillan"],"firstnames":["Craig"],"suffixes":[]}],"year":"2017","note":"tex.ids= siuFlightCriticalSoftware2017a, siuFlightCriticalSoftware2017b","pages":"1–10","bibtex":"@inproceedings{siu_flight_2017,\n\ttitle = {Flight critical software and systems development using {ASSERT}™},\n\tdoi = {10/ghv3jg},\n\tbooktitle = {2017 {IEEE}/{AIAA} 36th {Digital} {Avionics} {Systems} {Conference} ({DASC})},\n\tpublisher = {IEEE},\n\tauthor = {Siu, Kit and Moitra, Abha and Durling, Michael and Crapo, Andy and Li, Meng and Yu, Han and Herencia-Zapana, Heber and Castillo-Effen, Mauricio and Sen, Shiraj and McMillan, Craig},\n\tyear = {2017},\n\tnote = {tex.ids= siuFlightCriticalSoftware2017a, siuFlightCriticalSoftware2017b},\n\tpages = {1--10},\n}\n\n","author_short":["Siu, K.","Moitra, A.","Durling, M.","Crapo, A.","Li, M.","Yu, H.","Herencia-Zapana, H.","Castillo-Effen, M.","Sen, S.","McMillan, C."],"key":"siu_flight_2017","id":"siu_flight_2017","bibbaseid":"siu-moitra-durling-crapo-li-yu-herenciazapana-castilloeffen-etal-flightcriticalsoftwareandsystemsdevelopmentusingassert-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["flight","critical","software","systems","development","using","assert","siu","moitra","durling","crapo","li","yu","herencia-zapana","castillo-effen","sen","mcmillan"],"title":"Flight critical software and systems development using ASSERT™","year":2017}