Verificación de la accesibilidad probabilística limitada δ δ δ para sistemas ciberfísicos