diff --git a/remsim/RSPRO_Server.ttcn b/remsim/RSPRO_Server.ttcn
index 977e7c6..5c9051c 100644
--- a/remsim/RSPRO_Server.ttcn
+++ b/remsim/RSPRO_Server.ttcn
@@ -147,6 +147,12 @@
 	f_rspro_srv_exp(tr_RSPRO_ConfigClientBankRes(exp_res));
 }
 
+function f_rspro_srv_reset_state(template ResultCode exp_res := ok, integer i := 0)
+runs on rspro_server_CT
+{
+	RSPRO_SRV[i].send(ts_RSPRO_ResetStateReq);
+	f_rspro_srv_exp(tr_RSPRO_ResetStateRes(exp_res));
+}
 
 altstep as_connectBankReq(template ComponentIdentity comp_id := tr_CompId(remsimBankd, ?,
 									  "remsim-bankd", ?),