FINS: Model-based design of flying indoor navigation system | IEEE Conference Publication | IEEE Xplore