From scenarios to timed automata: building specifications from users requirements | IEEE Conference Publication | IEEE Xplore