Java-prototyping of hardware/software CBS using a behavioral OO model | IEEE Conference Publication | IEEE Xplore