Modular analysis of distributed hybrid systems using post-regions

Published in Formal Methods in System Design, 2026

Recommended citation: Eduard Kamburjan (2026). FMSD, Springer.