Validation of biological models with Temporal Logic and Timed Hybrid Petri Nets | IEEE Conference Publication | IEEE Xplore