Vol. 4 No. 23 (2016): Model-Based Development and Evaluation of Control for Complex Multi-Domain Systems: Attitude Control for a Quadrotor UAV