@conference {coito2011unfalsification, title = {Unfalsification based Fault Tolerant Controller}, booktitle = {Emerging Technologies \& Factory Automation (ETFA), 2011 IEEE 16th Conference on}, year = {2011}, note = {n/a}, pages = {1{\textendash}4}, publisher = {IEEE}, organization = {IEEE}, abstract = {n/a}, author = {Coito, F. and Palma, L. B.} }