Generate a model out of your code Real Time Developer Studio offers three levels of modeling and testing: informal, semi-formal, and fully formal...