Requirements analysis and specification of embedded systems using ESCAM-a case study | IEEE Conference Publication | IEEE Xplore