System specification and performance analysis by L.P.M. Benders