Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations