Finished to write the mu calculus definition
Add the case studies section.