6.4.1　Guarded Recursive Specifications of Hybrid APTC with Localities