Yes, this is correct. This is what the final plan will look like. But
the scheduler will always schedule the referenced task first in case 2
and 3.
In the A[FF]B case, this means the end date from A must be determined
first and then B is scheduled ALAP (end-to-start) to determine the
start date.
In the B[SS]A case, the start date of B must be determined first and
then A is scheduled ASAP (start-to-end).
Chris