MoSaRT est un framework basé sur un langage de modélisation graphique qui permet de concevoir et d'analyser des systèmes en temps réel. Il vise à combler le fossé entre la communauté académique de la théorie de la planification en temps réel et les pratiques industrielles. Il fournit une langue de conception graphique conforme aux normes et une base de données d'analyse qui permet aux chercheurs de promouvoir leurs travaux et d'augmenter l'applicabilité de l'analyse de la planification en temps réel.

CADBIOM est un logiciel open source de modélisation permettant de donner un cadre formel à la modélisation de systèmes biologiques tels que les réseaux de signalisation cellulaire. Il est basé sur la sémantique des transitions surveillées et offre une interface graphique pour faciliter la conception et l'analyse de ces modèles.