A methodology for design space exploration of real-time location systems