Stem rmc$ (all stems)
2 papers:
CAV-2008-Legay #model checking- T(O)RMC: A Tool for (ω)-Regular Model Checking (AL), pp. 548–551.
DATE-2003-JanDE #case study #development #embedded #encryption #migration #network- Porting a Network Cryptographic Service to the RMC2000: A Case Study in Embedded Software Development (SJ, PdD, SAE), pp. 20150–20157.