This is simply a short description of CiME which appeared in the proceedings of RTA'96 international conference.
full paper