The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node | Publicación