A Two Formal Languages Based Model for Representing Human Activities | IEEE Conference Publication | IEEE Xplore