Coupling FORTH and GKS in Monitoring Processes