TY  - RPRT
TI  - Safe Composition of CFSM Systems via Partial Gateways
AU  - Franco Barbanera
PY  - 2026
DO  - 10.4204/eptcs.453.2
UR  - https://arxiv.org/abs/2609.34922
ID  - 2609.34922
ER  -