multi - domain modeling of cyber - physical systems using architectural views .
Quadrotor helicopter trajectory tracking control