int timeout() { return 2; } clock x; process p() { state a; init a; trans a->a { guard x >= timeout(); }; } system p;