Formal analysis of real-time equational rule-based systems | IEEE Conference Publication | IEEE Xplore