GitHub repository: lesunb/RGMToPRISM
Primary language: Java
Description: A Runtime Goal Model to PRISM model generator to be used with TAOM4E tool for TROPOS.