Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers.

Mariusz A. Fecko, M. mit Uyar, Ali Y. Duale

Browse the full FORTE paper archive.