Title: A formal method for functional modeling and conceptual design of complex mechatronic systems
First published: 2002