* Possibility to compute the readSet and writeSet at runtime, instead of pre-processing them
 * Bugfix in NTCB computation
 * NTCB service time computable