K. Migawa, “Availability control for means of transport in decisive semi-Markov models of exploitation process”, AoT, vol. 24, no. 4, pp. 497–508, Dec. 2012, doi: 10.2478/v10174-012-0030-4.