Software- and hardware-in-the-loop methodologies aimed to test and validate the open-source simulation platform CrazyS