Camille Salinesi, Asmaa Achtaich, Nissrine Souissi, Raúl Mazo, Ounsa Roudiès, Ángela Villota. State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements. Transactions of the SDPS, 25(2):80-99, 2021. [doi]
Abstract is missing.