Processor-in-the-Loop Simulations Applied to the Design and Evaluation of a Satellite Attitude Control