ABS 1.0 (Aircraft Braking Simulation package): Architectural and Theoretical Manual