From experiments to design: A probabilistic definition of design formulations from empirical and semi-empirical resistance models