Rojas-Hernández, Isaac, Instituto Costarricense de Electricidad, Costa Rica