We gratefully acknowledge support from
the Simons Foundation and member institutions.

Felicien Ihirwe is qualified to endorse.

Model-based analysis support for dependable complex systems in CHESS

Felicien Ihirwe: Is registered as an author of this paper.
Can endorse for cs.PL, cs.SE. (why?)

Silvia Mazzini, Pierluigi Pierini, Alberto Debiasi and Stefano Tonetta are not registered as owners of this paper. (why?)