Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study