TY - RPRT TI - Modeling Basic Aspects of Cyber-Physical Systems AU - Walid Taha AU - Roland Philippsen PY - 2013 UR - https://arxiv.org/abs/1303.2792 ID - 1303.2792 ER -