Comment from the Boss: Formal modeling and analysis for your research topic is important. Suggest you to make more effort on this work.