Hello Sir, I am a B.Tech 4th year student of JIIT Noida Sec-62. I have studied about the tla toolbox and i am interested in creating a new application with tla or modifying the tla tool. I know that all the formal methods have been completed. So can you please guide me that what new creation i can do with tla. I will be Thankful to you. Thanks & Regards, Neha Singh