diff --git a/library/NS_Emulation.ttcn b/library/NS_Emulation.ttcn
index 0198da87f..97a48e549 100644
--- a/library/NS_Emulation.ttcn
+++ b/library/NS_Emulation.ttcn
@@ -175,19 +175,19 @@ module NS_Emulation {
 		var ASP_Event evt;
 
 		/* transition to DEAD if t_alive times out */
-		[Tns_alive.running] Tns_alive.timeout {
-			log("Tns-aeive expired: changing to DEAD_BLOCKED + starting Tns-test");
+		[] Tns_alive.timeout {
+			log("Tns-alive expired: changing to DEAD_BLOCKED + starting Tns-test");
 			f_change_state(NSE_S_DEAD_BLOCKED);
 			Tns_test.start;
 		}
 
-		[Tns_test.running] Tns_test.timeout {
+		[] Tns_test.timeout {
 			log("Tns-test expired: sending NS-ALIVE");
 			f_sendAlive();
 		}
 
 		/* Stop t_alive when receiving ALIVE-ACK */
-		[] NSCP.receive(t_NS_ALIVE_ACK) {
+		[Tns_alive.running] NSCP.receive(t_NS_ALIVE_ACK) {
 			log("NS-ALIVE-ACK received: stopping Tns-alive; starting Tns-test");
 			Tns_alive.stop;
 			Tns_test.start;