Rijkswaterstaat는 도로 터널 제어 시스템의 표준화와 공급업체와의 원활한 의사소통을 위해 공식적인 모델링을 수행하였다. SysML 모델을 mCRL2로 자동 변환하는 것은 복잡한 문제였으며, Dezyne 언어를 사용한 대안적 모델링 접근법을 조사하였다.