Operating experience with the vallecitos boiling water reactor | IEEE Journals & Magazine | IEEE Xplore