On time-variant probabilistic automata with monitors - Turakainen, Paavo (1969)