A pool member is defined as IP+port, so the pool members are actually NOT the same between pools.
The solution here would be to use the port 8443 pool for both virtual servers, with port translation enabled on VS01. (VS02 will not translate the port regardless of whether translation is enabled since there is no port to translate to.)
The big question then becomes how to service check the pool members for not only the port 8443 traffic, but the services that are behind VS02. The answer is easy: Create multiple monitors that test all required services, and apply them all to the pool members, requiring all to succeed before pool member is UP.
HTH
/deb