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