Pošljite SMS: JPF−AWT: Model Checking GUI Applications