Describir: Desarrollo, implementación y verificación de un modelo de un BWR para análisis de transitorios de licenciamiento