Automatic Timeliness Verification of a Public Mobile Network. - Ester Ciancamerla; Michele Minichino; S. Serro; Enrico Tronci (SAFECOMP, 2003)