Methodologies for establishing the correctness of routing protocols for dynamic environments

Methodologies for establishing the correctness of replicated services for dynamic environments

Methodologies for reasoning about performance in dynamic environments

Case study: Bluetooth MAC Protocol Device Discovery Protocol

Case study: Analysis of Bluetooth Power Consumption