Use case maps for engineering real time and distributed computer systems: a case study of an ACE-framework application | IEEE Conference Publication | IEEE Xplore