Automatic Software Generation in Practice: New Features in the HLP/PAS System