@InProceedings{IKM:trace-editor,
  author =       {Micha{"l} Iglewski and Marcin Kubica and Jan Madey},
  editor =       {M. Zaremba},
  title =        {Editor for the Trace Assertion Method},
  booktitle =    {Proceedings of the 10th ISPE/IFAC International
                 Conference on CAD/CAM, Robotics and Factories of the
                 Future, CARs \& FOF'94},
  organization = {OCRI, Ottawa, Canada},
  year =         1994,
  pages =        {876--881}
}