Themulus: A Timed Contract-calculus. - Alberto Aranda García; María-Emilia Cambronero; Christian Colombo 001; Luis Llana; Gordon J. Pace (MODELSWARD, 2020)

Runtime Verification of Contracts with Themulus. - Alberto Aranda García; María-Emilia Cambronero; Christian Colombo 001; Luis Llana; Gordon J. Pace (SEFM, 2020)