@TechReport{SattlerAhrendt00,
  author =        {Theo Sattler and Wolfgang Ahrendt},
  title =         {Embedding ASMs into State Transition Diagrams},
  institution =   {University of Karlsruhe, Department of Computer Science},
  type =          {Technical Report},
  number =        {2000/20},
  month =         jan,
  year =          {2000}
}