Analysis and Validation of Protocols for the Realisation of Distributed Dependable Applications in Wireless Networks