Jianli Xu Application of formal methods in Nokia mobile terminal and network software system development. 190-190 2004 ISoLA (Preliminary proceedings) conf/isola/2004i db/conf/isola/isola2004i.html#Xu04