author : Tapio Manner

Short works

• Emma: Developing an Industrial Reachability Analyser for SDL. 1999. (In FM'99 volume 1 )