Executable specifications for real-time control of a flexible manufacturing cellAriel PashtanUri Benchetritet al.1989ICCON 1989