Einar Broch Johnsen Olaf Owe Arild B. Torjusen Validating Behavioral Component Interfaces in Rewriting Logic. 341-359 2008 82 Fundam. Inform. 4 http://iospress.metapress.com/content/07012382l07ph1tk/ db/journals/fuin/fuin82.html#JohnsenOT08