Christian Colombo, Ruth Mizzi, Gordon J. Pace: SMock - A Test Platform for Monitoring Tools. RV 2013: 352-357