Towards Understandable Guards of Extracted State Machines from Embedded Software | IEEE Conference Publication | IEEE Xplore