PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System.

Lionel Devauchelle Peter Gorm Larsen Henrik Voss PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. 221-236 1997 conf/fm/1997 FME db/conf/fm/fme1997.html#DevauchelleLV97 http://dx.doi.org/10.1007/3-540-63533-5_12