Convertir une chaîne de format de Date dans XSLT

J'ai une date(string) valeur dans un fichier XML au format:

Tue Apr 17 03:12:47 IST 2012

Je veux utiliser transformation XSL pour convertir la chaîne/date dans ce format:

4/17/2012 03:12:47 AM

Comment puis-je faire dans ma transformation XSL?

Qui xslt version (1.0, 2.0) pouvez/voulez-vous utiliser?
Je peux utiliser les deux en fait. Préférez 1.0.

OriginalL'auteur Rg90 | 2013-06-03