Bounded Serial Compositional Runtime Enforcement. - Saumya Shankar; Thierry Jéron; Prisha Srinidi; Srinivas Pinisetty (J. Object Technol., 2026)