File content as of revision 0:d17d3e96e274:

#include "mbed.h"

Ticker tick;
DigitalOut led1(LED_RED);
DigitalOut led2(LED_GREEN);
DigitalOut led3(LED_BLUE);

int tiempo = 0;

void leds();

void seg5()
{
    tiempo = 1;
}

int main()
{
    tick.attach(&seg5, 5); // setup ticker to call flip every 5 seconds

    while (true) {
        leds();
    }
}

void leds()
{
    static int estado = 0;
    switch(estado) {
        case 0:
            led1 = 1;
            led2 = 1;
            led3 = 1;

            if(tiempo == 1) {
                tiempo = 0;
                estado++;
            }
        break;
        case 1:
            led1 = 0;
            led2 = 1;
            led3 = 1;

            if(tiempo == 1) {
                tiempo = 0;
                estado++;
            }
        break;
        case 2:
            led1 = 1;
            led2 = 0;
            led3 = 0;

            if(tiempo == 1) {
                tiempo = 0;
                estado++;
            }
        break;
        case 3:
            led1 = 0;
            led2 = 0;
            led3 = 1;

            if(tiempo == 1) {
                tiempo = 0;
                estado = 0;
            }
        break;   
    }

}