Formalismo para Apoyar el Desarrollo de Pautas Médicas Verificablemente Seguras con Gráficos de Estado