Design of Synchronous Action Systems