LEMMA: a language for easy medical models analysis. - Luciano Baresi; Manuele Di Paola; Antonio Gargiulo; Mauro Pezzè (CBMS, 1997)