Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin. Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes. In 27th IEEE International Symposium on Industrial Electronics, ISIE 2018, Cairns, Australia, June 13-15, 2018. pages 669-674, IEEE, 2018. [doi]
Abstract is missing.