Zaslat SMS: Optimizing Automatic Deployment Using Non−Functional Requirement Annotations