Marius Bozga Jean-Claude Fernandez Alain Kerbrat Laurent Mounier Protocol Verification with the ALDÉBARAN Toolset. 166-184 1997 1 STTT 1-2 db/journals/sttt/sttt1.html#BozgaFKM97 http://link.springer.de/link/service/journals/10009/bibs/7001001/70010166.htm