A Stochastic Petri net Model of Continuous Integration and Continuous Delivery | IEEE Conference Publication | IEEE Xplore