I am looking for a good reference for fibre bundles on differential manifolds, Ehresmann connections, principal $G$-bundles and principal Ehresmann connections (the $G$-equivariant version of Ehresmann connections). Could anyone advise me on this? I have looked at the book Fibre Bundles by Hausmöller, but it isn't quite what I want.
Thanks in advance.