Extension To Models Of Coincident Failure In Multiversion Software