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