Efficient Model Checking of Properties of a Distributed Application: a Multimedia Case Study