Abstract: Undesired or unexpected properties are frequent as large-scale, complex systems with non-linear interactions are being designed and implemented to answer real-life scenarios. How to model ...