@inbook{0d8037bd9d04481db8509aa7d7c9df34,
title = "Generation of Test Plans for Fault Diagnosis with Untimed Automata",
abstract = "Unexpected failures in a chemical plant often result in undesirable consequences.",
author = "Chang, {Chuei Tin} and Lee, {Hao Yeh} and Adi, {Vincentius Surya Kurnia}",
note = "Publisher Copyright: {\textcopyright} 2021, The Author(s), under exclusive license to Springer Nature Switzerland AG.",
year = "2021",
doi = "10.1007/978-3-030-70978-5_8",
language = "English",
series = "Advances in Industrial Control",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "253--282",
booktitle = "Advances in Industrial Control",
address = "Germany",
}