Using temporal relations to specify and test an instant messaging server. - John Hughes 001; Ulf Norell; Jérôme Sautret (AST, 2010)