Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers / - Jorge, J. A.; Jardim Nunes, Nuno.; Falcão e Cunha, João. (Springer, 2003)