Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems. - Joud Khoury; Minyoung Kim 002; Christophe Merlin; José Meseguer 001; Zachary B. Ratliff; Carolyn L. Talcott (CoRR, 2026)