assertTrue("Service should be a TestSedaService", c instanceof TestSedaService);
Object ftc = getComponent(c);
assertNotNull("Functional Test Service not found in the model.", ftc);
assertTrue("Service should be a FunctionalTestComponent", ftc instanceof FunctionalTestComponent);
EventCallback cc = ((FunctionalTestComponent) ftc).getEventCallback();
assertNotNull("EventCallback is null", cc);
assertTrue("EventCallback should be a CounterCallback", cc instanceof CounterCallback);
assertEquals(NUM_MESSAGES, ((CounterCallback) cc).getCallbackCount());
}