Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach | IEEE Conference Publication | IEEE Xplore