Automated Generation of Availability Models for SFCs: The case of Virtualized IP Multimedia Subsystem. - Mario Di Mauro; Giovanni Galatro; Maurizio Longo; Arcangelo Palma; Fabio Postiglione; Marco Tambasco (NOMS, 2020)