How to form robot law — A case study of autonomous cars | IEEE Conference Publication | IEEE Xplore