Modelling and Abstraction

Explicitly defining the process and system model is essential before actually programming the lock. If everything is not thought of before programming there could be hiccups along the way.