FINS: Model-based design of flying indoor navigation system. - Anwar Al-Khateeb; Eric Baczuk; Carlo Ratti (CCNC, 2013)