A Review of Dynamic Verification of Security and Dependability Properties | Publicación