First and second processors are energized by an energy source in a hand-held device. The switching controller outputs a switching signal to a base of a transistor, according to a PWM method. The film is supported by the support layer. The matching unit receives an event sequence in an application model of the target system obtained in response to the operation of the target system and matches the event sequence against the binary trees generated by the abstract binary tree generation unit. In response to said shared flag being in the second state, when new IO requests are going to be made, a second hypervisor IO interrupt is generated. Each time a software state machine enters a state, one or more event control registers are programmed to direct the illustrative embodiment where to resume execution when each possible event occurs.