Kenneth Baclawski Mieczyslaw M. Kokar Jeffrey E. Smith Jerzy Letkowski Consistency Checking of RM-ODP Specifications. 17-26 2001 conf/woodpecker/2001 WOODPECKER db/conf/woodpecker/woodpecker2001.html#BaclawskiKSL01