Grujic, I. and Nilsson, R. 2016. Model-Based Development and Evaluation of Control for Complex Multi-Domain Systems: Attitude Control for a Quadrotor UAV. Technical Report Electronics and Computer Engineering. 4, 23 (Mar. 2016).