THE IMPLEMENTATION OF AUTOMATED ASYNCHRONOUS SECUENTIAL SYNTHESIS OF STOCHASTIC SYSTEMS BY THE MATRIXAL AND MODIFIED METHOD