A presentation of regular languages in the assumption-commitment framework | IEEE Conference Publication | IEEE Xplore