InRob - uma abordagem para testes de interoperabilidade e de robustez de subsistemas de tempo-real intensivos em software