Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation | IEEE Conference Publication | IEEE Xplore