Yoshitomo Ikkai, Takaaki Nakashiba, Norihisa Komoda. Application of specification language SOL and its verification method to a flexible manufacturing line. In American Control Conference, ACC 2002, Anchorage, Alaska, USA, May 8-10 2002. pages 4159-4164, IEEE, 2002. [doi]
Abstract is missing.