Paper accepted at RTSS'17