%0 Journal Article 
%F Marchand98c
%A Marchand, E.
%A Rutten, E.
%A Marchand, H.
%A Chaumette, F.
%T Specifying and verifying active vision-based robotic systems with the Signal environment
%J Int. Journal of Robotics Research
%V 	 17
%N 4
%P 418-432
%8 April
%D 1998