Propositional modelling of a modus operandi to conduct manned mission to Venus apropos Beнepa Program data | IEEE Conference Publication | IEEE Xplore