A toolkit for designing and implementing LTL-based task specifications