HUGINN
Cyber Physical Systems. Design, Modeling, and Evaluation — Huginn