Text this: Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets