A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS