@InProceedings{MR99FM,
      Author = "C{\'e}sar Mu{\~{n}}oz and John Rushby",
      Title  = "Structural Embeddings: Mechanization with Method",
      booktitle={Proceedings of the
      World Congress on Formal Methods FM'99},
      series="LNCS",
      volume = {1708},
      pages = "452--471",
      Year = {1999},
      Address = {Toulouse, France},
      note = {It also appears as report NASA/CR-1999-209360 ICASE No. 99-26}
      }