Abstract requirements specification: A new approach and its application | IEEE Journals & Magazine | IEEE Xplore