Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth | IEEE Conference Publication | IEEE Xplore