An analysis of the capabilities of problem statement language: a language for system requirements and specifications | IEEE Conference Publication | IEEE Xplore