Contract Composition for Dynamical Control Systems: Definition and Verification using Linear Programming