Michael Leuschel PROB: un outil de modélisation formelle. 2004 conf/jfplc/2004 JFPLC db/conf/jfplc/jfplc2004.html#Leuschel04