Specification languages-assessment and trends | IEEE Conference Publication | IEEE Xplore