Validation of communications systems with SDL : the art of SDL simulation and reachability analysis - Doldi, Laurent. (Wiley, 2003)