Title: Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen