publicações Disabled people and the Web: user-based measurement of accessibility Documento Fault Tolerance in Fixed-Priority Hard Real-Time Distributed Systems Documento Formal verification of implementations of Stateflow charts Documento Multi-scale Line Detection Documento Resource Management in Open Tuple-Space Systems Documento Towards a Process-centred Software Engineering Environment to Support the Development of High Integrity Systems Documento