Я так понял, что-то типа предлагаемого при проверке моделей в средах типа Spin - только поведение внешних сущностей не исполняется на той же платформе, что и процессы целевого поведения, а "зашивается" в отдельную "машину среды"... которая и даёт, в частности, сигналы на рецепторы "целевой машины" и воспринимает воздействия от её эффекторов. Типа, как если вэтом примерете же генераторы состояний кнопок реализовать отдельно от блока управления клапанами (как и будет реально) - и как-то связать физически (релюшками или банально - толкателями кнопок). Так?