Behavioral Verification Of Small Networks Of State-Machines Built With Arduino-Like Processors