A. Dambrauskas and V. Rinkevičius, “Algorithmic Synthesis of Stochastic Control Systems”, ELEKTRON ELEKTROTECH, vol. 63, no. 7, pp. 45-49, Aug. 2005.