Deriving the Technical Model for the Indoor Navigation Prototype based on the Integration of IndoorGML and LADM Conceptual Model