Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. - Richard Schumi; Priska Lang; Bernhard K. Aichernig; Willibald Krenn; Rupert Schlick (ICTSS, 2017)