Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin. Counterexample visualization and explanation for function block diagrams. In 16th IEEE International Conference on Industrial Informatics, INDIN 2018, Porto, Portugal, July 18-20, 2018. pages 747-753, IEEE, 2018. [doi]
Abstract is missing.