If its isolated output, you can put your secondary ground anywhere you like. But sorry i havent used Texas workbench.
In post #17 i gave you a design with ETD44 transformer core and bobbin......it was a conservative design i admit.......i mean, a smaller core woudl also be ok....but was the ETD44 too big for you?......the #17 gives turns and everything.
Are you asking about something to power the primary side controller with?......you could just use a LNK302 for that if you want. A high voltage buck converter.
Attached is the flyback of post #17 now done isolated and with 0v at the centre rail of the output. Its in the free LTspice sim.
If this is your first go at SMPS....id feed the bias supplies in from isolated wallwarts, and just concentrate on the power stage to start off with.
Do some research, then just build it....you will make mistakes but if you try and research so much that you do it right first time...then you will never get started.