Migawa K. Availability control for means of transport in decisive semi-Markov models of exploitation process. AoT. 2012;24(4):497-508. doi:10.2478/v10174-012-0030-4