An Innovative Approach to e-public Tendering Based on Model Checking