Verification of Behavioral Substitutability in Object-Oriented Models for Industrial Controllers | IEEE Conference Publication | IEEE Xplore