Automated Generation of Availability Models for SFCs: The case of Virtualized IP Multimedia Subsystem | IEEE Conference Publication | IEEE Xplore