A tool for checking refinement and plugability of real-time automata interfaces