TY - RPRT TI - Autonomous Systems -- An Architectural Characterization AU - Joseph Sifakis PY - 2018 UR - https://arxiv.org/abs/1811.10277 ID - 1811.10277 ER -