On the interaction of programming by contract and Liskov substitution principle | IEEE Conference Publication | IEEE Xplore