@techreport{gibson_achieving_2019,
	title = {Achieving {Verifiable} and {High} {Integrity} {Instrumentation} and {Control} {Systems} through {Complexity} {Awareness} and {Constrained} {Design}. {Final} {Report}},
	institution = {Electric Power Research Institute (EPRI), Charlotte, NC (United States)},
	author = {Gibson, Matt and Elks, Carl and Tantawy, Ashraf and Hite, Richard and Gautham, Smitha and Jayakumar, Athira and Deloglos, Christopher},
	year = {2019},
}

{"_id":"uuejWkYkGZwCyhSaj","bibbaseid":"gibson-elks-tantawy-hite-gautham-jayakumar-deloglos-achievingverifiableandhighintegrityinstrumentationandcontrolsystemsthroughcomplexityawarenessandconstraineddesignfinalreport-2019","authorIDs":["gnpJ2XahbLkbuhcqz"],"author_short":["Gibson, M.","Elks, C.","Tantawy, A.","Hite, R.","Gautham, S.","Jayakumar, A.","Deloglos, C."],"bibdata":{"bibtype":"techreport","type":"techreport","title":"Achieving Verifiable and High Integrity Instrumentation and Control Systems through Complexity Awareness and Constrained Design. Final Report","institution":"Electric Power Research Institute (EPRI), Charlotte, NC (United States)","author":[{"propositions":[],"lastnames":["Gibson"],"firstnames":["Matt"],"suffixes":[]},{"propositions":[],"lastnames":["Elks"],"firstnames":["Carl"],"suffixes":[]},{"propositions":[],"lastnames":["Tantawy"],"firstnames":["Ashraf"],"suffixes":[]},{"propositions":[],"lastnames":["Hite"],"firstnames":["Richard"],"suffixes":[]},{"propositions":[],"lastnames":["Gautham"],"firstnames":["Smitha"],"suffixes":[]},{"propositions":[],"lastnames":["Jayakumar"],"firstnames":["Athira"],"suffixes":[]},{"propositions":[],"lastnames":["Deloglos"],"firstnames":["Christopher"],"suffixes":[]}],"year":"2019","bibtex":"@techreport{gibson_achieving_2019,\n\ttitle = {Achieving {Verifiable} and {High} {Integrity} {Instrumentation} and {Control} {Systems} through {Complexity} {Awareness} and {Constrained} {Design}. {Final} {Report}},\n\tinstitution = {Electric Power Research Institute (EPRI), Charlotte, NC (United States)},\n\tauthor = {Gibson, Matt and Elks, Carl and Tantawy, Ashraf and Hite, Richard and Gautham, Smitha and Jayakumar, Athira and Deloglos, Christopher},\n\tyear = {2019},\n}\n\n","author_short":["Gibson, M.","Elks, C.","Tantawy, A.","Hite, R.","Gautham, S.","Jayakumar, A.","Deloglos, C."],"key":"gibson_achieving_2019","id":"gibson_achieving_2019","bibbaseid":"gibson-elks-tantawy-hite-gautham-jayakumar-deloglos-achievingverifiableandhighintegrityinstrumentationandcontrolsystemsthroughcomplexityawarenessandconstraineddesignfinalreport-2019","role":"author","urls":{},"metadata":{"authorlinks":{"elks, c":"https://bibbase.org/show?bib=https%3A%2F%2Fapi.zotero.org%2Fgroups%2F2575028%2Fitems%3Fkey%3DWRT0i5KCH5DutUN8UOzXF5dC%26format%3Dbibtex%26limit%3D100"}},"downloads":0},"bibtype":"techreport","biburl":"https://api.zotero.org/groups/2575028/items?key=WRT0i5KCH5DutUN8UOzXF5dC&format=bibtex&limit=100","creationDate":"2020-11-10T15:43:26.298Z","downloads":0,"keywords":[],"search_terms":["achieving","verifiable","high","integrity","instrumentation","control","systems","through","complexity","awareness","constrained","design","final","report","gibson","elks","tantawy","hite","gautham","jayakumar","deloglos"],"title":"Achieving Verifiable and High Integrity Instrumentation and Control Systems through Complexity Awareness and Constrained Design. Final Report","year":2019,"dataSources":["3szDtHe5XuBcrBHR4","2PHxSBEXp3AWgXrFz"]}