The Essence of Reactivity. - Ivan Perez 001; Frank Dedden (Haskell, 2023)

Runtime Verification in Real-Time with the Copilot Language: A Tutorial. - Ivan Perez 001; Alwyn E. Goodloe; Frank Dedden (FM (2), 2024)