@InProceedings{johnsen05fsen,
  author =    {Einar Broch Johnsen and Olaf Owe and Arild B.\ Torjusen},
  title =     {Validating Behavioral Component Interfaces in Rewriting Logic},
  booktitle = {Proc.\ {IPM} International Workshop on Foundations of 
               Software Engineering ({FSEN} 2005)},
  series =    {Electronic Notes in Theoretical Computer Science},
  editor =    {Farhad Arbab and Marjan Sirjani},
  volume =    159,
  publisher = {Elsevier},
  pages =     {187--204},
  month =     may,
  year =      2006,
}