Availability and reliability modeling of multicore controlled UPS for datacenter applications /Tommaso Addabbo a , Ada Fort a , Marco Mugnaini a,n , Valerio Vignoli a , Enrico Simoni b , Mario Mancini b - Addabbo,Tommaso