Extending SystemC to support mixed discrete-continuous system modeling and simulation