Validation of communications systems with SDL : the art of SDL simulation and reachability analysis - Doldi, Laurent