Output feedback control for semi-Markovian jump systems with time-varying delay. Issue 3 (2nd July 2020)