The informal modeling of input-preprocessing subsystems for scientific research | IEEE Conference Publication | IEEE Xplore