Sebastian Biallas, Jörg Brauer, Stefan Kowalewski. Counterexample-Guided Abstraction Refinement for PLCs. In Ralf Huuck, Gerwin Klein, Bastian Schlich, editors, 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010. USENIX Association, 2010. [doi]
Abstract is missing.